Experiments with Proof Plans for Induction (1992)

View PDF

Download Links

by Alan Bundy , Frank van Harmelen , Jane Hesketh , Alan Smaill
Venue:Journal of Automated Reasoning
Citations:98 - 34 self