Experiments with Proof Plans for Induction (1992)

Cached

Download Links

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