Extensions to a generalization critic for inductive proof

A. Ireland, Alan Bundy

Research output: Contribution to journalArticlepeer-review

Original languageEnglish
JournalAutomated Deduction - CADE-13
VolumeLecture notes in Artificial Intelligence 1104
Publication statusPublished - 1996

Cite this