Walther94'

BibTeX

@incollection{DBLP:books/ox/LAI2Hb1994/Walther94,
  author    = {Christoph Walther},
  title     = {Mathematical induction},
  booktitle = {Handbook of Logic in Artificial Intelligence and Logic Programming
               (2)},
  year      = {1994},
  pages     = {127-228},
  crossref  = {DBLP:books/ox/LAI2Hb94},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@book{DBLP:books/ox/LAI2Hb94,
  editor    = {Dov M. Gabbay and
               Christopher J. Hogger and
               J. A. Robinson and
               J{\"o}rg H. Siekmann},
  title     = {Handbook of Logic in Artificial Intelligence and Logic Programming,
               Volume2, Deduction Methodologies},
  booktitle = {Handbook of Logic in Artificial Intelligence and Logic Programming,
               Volume 2},
  publisher = {Oxford University Press},
  year      = {1994},
  isbn      = {0-19-853746-8},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}