@inproceedings{conf/alp/BarbutiCGM92,
  added-at = {2009-10-14T00:00:00.000+0200},
  author = {Barbuti, Roberto and Codish, Michael and Giacobazzi, Roberto and Maher, Michael J.},
  biburl = {http://www.bibsonomy.org/bibtex/2e09be997d67d4ee11aca9386ed7b1975/dblp},
  booktitle = {ALP},
  crossref = {conf/alp/1992},
  date = {2009-10-14},
  description = {dblp},
  editor = {Kirchner, Hélène and Levi, Giorgio},
  ee = {http://dx.doi.org/10.1007/BFb0013822},
  interhash = {a352aacadcf01361882c4ff9663b59e7},
  intrahash = {e09be997d67d4ee11aca9386ed7b1975},
  isbn = {3-540-55873-X},
  keywords = {dblp},
  pages = {100-114},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  timestamp = {2009-10-14T00:00:00.000+0200},
  title = {Oracle Semantics for Prolog.},
  url = {http://dblp.uni-trier.de/db/conf/alp/alp92.html#BarbutiCGM92},
  volume = 632,
  year = 1992
}