Extensions to a Generalization Critic for Inductive Proof (1996)

Cached

Download Links

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