Productive Use of Failure in Inductive Proof (1995)

by Andrew Ireland, Alan Bundy
Venue:Journal of Automated Reasoning