The Automation of Proof by Mathematical Induction

Research output: Chapter in Book/Report/Conference proceedingChapter

Original languageEnglish
Title of host publicationHandbook of Automated Reasoning
EditorsA. Robinson, A. Boronkov
PublisherElsevier
Pages845-911
ISBN (Print)0-444-50813-9
Publication statusPublished - 2001

Cite this