BibTeX record: conf/stoc/Reiter70

download as .bib file

@inproceedings{DBLP:conf/stoc/Reiter70,
  author    = {Raymond Reiter},
  title     = {The Predicate Elimination Strategy in Theorem Proving},
  booktitle = {Proceedings of the 2nd Annual {ACM} Symposium on Theory of Computing,
               May 4-6, 1970, Northampton, Massachusetts, {USA}},
  pages     = {180--183},
  year      = {1970},
  crossref  = {DBLP:conf/stoc/STOC2},
  url       = {http://doi.acm.org/10.1145/800161.805163},
  doi       = {10.1145/800161.805163},
  timestamp = {Mon, 17 Oct 2011 17:25:06 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/stoc/Reiter70},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/stoc/STOC2,
  editor    = {Patrick C. Fischer and
               Robert Fabian and
               Jeffrey D. Ullman and
               Richard M. Karp},
  title     = {Proceedings of the 2nd Annual {ACM} Symposium on Theory of Computing,
               May 4-6, 1970, Northampton, Massachusetts, {USA}},
  publisher = {{ACM}},
  year      = {1970},
  timestamp = {Mon, 17 Oct 2011 15:55:10 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/stoc/STOC2},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}