DBLP BibTeX Record 'conf/ijcai/Pratt71'

@inproceedings{DBLP:conf/ijcai/Pratt71,
  author    = {Terrence W. Pratt},
  title     = {Kernel Equivalence of Programs and Proving Kernel Equivalence
               and Correctness by Test Cases},
  booktitle = {IJCAI},
  year      = {1971},
  pages     = {474-480},
  crossref  = {DBLP:conf/ijcai/1971},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/ijcai/1971,
  editor    = {D. C. Cooper},
  title     = {Proceedings of the 2nd International Joint Conference on
               Artificial Intelligence. London, UK, September 1971},
  booktitle = {IJCAI},
  publisher = {William Kaufmann},
  year      = {1971},
  isbn      = {0-934613-34-6},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}