Christoph Walther Mathematical induction. 127-228 1994 books/ox/LAI2Hb94 Handbook of Logic in Artificial Intelligence and Logic Programming (2) db/books/collections/LAI2Handbook94.html#Walther94