Automated mathematical induction - Boston: Kluwer Academic, 1996 - 222 p. : ill. ; 25 cm., hbK : alk. paper ISBN: 792340108 Subjects--Topical Terms: Automatic theorem proving Dewey Class. No.: 511.22 ZHA