Experiments with Proof Plans for Induction (1992)

by Alan Bundy, Frank van Harmelen, Jane Hesketh, Alan Smaill
Venue:Journal of Automated Reasoning