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