Experiments with proof plans for induction (1992)

by A Bundy, F van Harmelen, J Hesketh, A Smaill
Venue:Journal of Automated Reasoning