Productive Use of Failure in Inductive Proof (1995)

Cached

Download Links

by Andrew Ireland , Alan Bundy
Venue:Journal of Automated Reasoning
Citations:114 - 25 self