Kp. Automated Discovery of Inductive Theorems / Roy McCasland, Alan Bundy, and Serge Autexier // From insight to proof : Festschrift in honour of Andrzej Trybulec / guest editors: Roman Matuszewski, Anna Zalewska. - Białystok, 2007. - S. 135-149.

LCC online