Productive Use of Failure in Inductive Proof (1995)

Cached

Download Links

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

Document Versions

Productive Use of Failure in Inductive Proof –Andrew Ireland, Alan Bundy — 1995 — Journal of Automated Reasoning