BibTeX record conf/icalp/HitchcockP72

download as .bib file

@inproceedings{DBLP:conf/icalp/HitchcockP72,
  author    = {Peter Hitchcock and
               David Michael Ritchie Park},
  title     = {Induction Rules and Termination Proofs},
  booktitle = {{ICALP}},
  pages     = {225--251},
  publisher = {North-Holland, Amsterdam},
  year      = {1972}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics