Planning mathematical proofs with methods (1994)

by X Huang, M Kerber, J Richts, A Sehn
Venue:Journal of Information Processing and Cybernetics, EIK