@inproceedings{conf/cade/KanamoriF86,
  added-at = {2009-10-12T00:00:00.000+0200},
  author = {Kanamori, Tadashi and Fujita, Hiroshi},
  biburl = {http://www.bibsonomy.org/bibtex/2e639a223173e10e89df199c446b4f2fe/dblp},
  booktitle = {CADE},
  crossref = {conf/cade/1986},
  date = {2009-10-12},
  description = {dblp},
  editor = {Siekmann, Jörg H.},
  ee = {http://dx.doi.org/10.1007/3-540-16780-3_97},
  interhash = {27194e5f12e63ca681d76bb8b84df4ca},
  intrahash = {e639a223173e10e89df199c446b4f2fe},
  isbn = {3-540-16780-3},
  keywords = {dblp},
  pages = {281-299},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  timestamp = {2009-10-12T00:00:00.000+0200},
  title = {Formulation of Induction Formulas in Verification of Prolog Programs.},
  url = {http://dblp.uni-trier.de/db/conf/cade/cade86.html#KanamoriF86},
  volume = 230,
  year = 1986
}