Automated Discovery of Inductive Theorems
@incollection{MBA, author = {Roy McCasland and Alan Bundy and Serge Autexier}, editor = {Roman Matuszewski and Anna Zalewska}, booktitle = {From insight to proof - Jubilee Book for Andrzej Trybulec}, title = {Automated Discovery of Inductive Theorems}, volume = {10(23)}, series = {Studies in Logic, Grammar and Rhetoric}, publisher = {University of Bialystok}, pages = {135-150}, month = {july}, year = {2007}, }