Planning Mathematical Proofs with Methods. - Xiaorong Huang; Manfred Kerber; Jörn Richts; Arthur Sehn (J. Inf. Process. Cybern., 1994)