Extensions to a Generalization Critic for Inductive Proof (1996)

Cached

Download Links

by Andrew Ireland , Alan Bundy
Venue:13th Conference on Automated Deduction
Citations:12 - 7 self