Productive Use of Failure in Inductive Proof (1995)

Cached

Download Links

by Andrew Ireland , Alan Bundy
Venue:Journal of Automated Reasoning
Citations:97 - 22 self