Proof planning { a practical approach to mechanised reasoning in mathematics (1998)

by Manfred Kerber
Venue:Automated Deduction { A Basis for Applications, Vol. III