Experiments with proof plans for induction. Research Paper 413 (1988)

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