Alan Bundy Frank van Harmelen Jane Hesketh Alan Smaill Experiments with Proof Plans for Induction. 303-324 1991 7 J. Autom. Reasoning 3 db/journals/jar/jar7.html#BundyHHS91