BibTeX record conf/ijcai/Pratt71

download as .bib file

@inproceedings{DBLP:conf/ijcai/Pratt71,
  author    = {Terrence W. Pratt},
  title     = {Kernel Equivalence of Programs and Proving Kernel Equivalence and
               Correctness by Test Cases},
  booktitle = {Proceedings of the 2nd International Joint Conference on Artificial
               Intelligence. London, UK, September 1-3, 1971.},
  pages     = {474--480},
  year      = {1971},
  crossref  = {DBLP:conf/ijcai/1971},
  url       = {http://ijcai.org/Proceedings/71/Papers/043.pdf},
  timestamp = {Tue, 19 Jul 2016 09:46:10 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/ijcai/Pratt71},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/ijcai/1971,
  editor    = {D. C. Cooper},
  title     = {Proceedings of the 2nd International Joint Conference on Artificial
               Intelligence. London, UK, September 1-3, 1971},
  publisher = {William Kaufmann},
  year      = {1971},
  url       = {http://ijcai.org/proceedings/1971},
  isbn      = {0-934613-34-6},
  timestamp = {Tue, 19 Jul 2016 09:45:47 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/ijcai/1971},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}