Experiments with proof plans for induction (1988)

by A Bundy, F van Harmelen, J Hesketh, A Smaill
Venue:Department of Artificial Intelligence, University of Edinburgh