Proof planning: A practical approach to mechanized reasoning in mathematics (1998)

by M Kerber
Venue:Automated Deduction: A Basis for Applications. Volume III, Applications