Experiments with proof plans for induction (1990)

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