MachteyY76'

BibTeX

@inproceedings{DBLP:conf/stoc/MachteyY76,
  author    = {Michael Machtey and
               Paul Young},
  title     = {Simple G{\"o}del Numberings, Translations, and the P-Hierarchy},
  booktitle = {STOC},
  year      = {1976},
  pages     = {236-243},
  crossref  = {DBLP:conf/stoc/STOC8},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/stoc/STOC8,
  title     = {Conference Record of the Eighth Annual ACM Symposium on
               Theory of Computing, 3-5 May 1976, Hershey, Pennsylvania,
               USA},
  booktitle = {STOC},
  publisher = {ACM},
  year      = {1976},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}