Automated Discovery of Inductive Theorems

@incollection{pub2997,
    author = {

McCasland, Roy
 and 

Bundy, Alan
 and 

Autexier, Serge
},
    editor = {

Matuszewski, Roman
 and 

Zalewska, Anna
},
    title = {Automated Discovery of Inductive Theorems},
    booktitle = {From insight to proof - Jubilee Book for Andrzej Trybulec},
    series = {Studies in Logic, Grammar and Rhetoric},
    year = {2007},
    month = {7},
    volume = {10 (23)},
    pages = {135--150},
    publisher = {University of Bialystok}
}