@inproceedings{BCGM92,
author = {R. Barbuti and M. Codish and R. Giacobazzi and M. Maher},
title="Oracle {S}emantics for {P}{R}{O}{L}{O}{G}",
booktitle = {Algebraic and Logic
Programming, Proceedings of the Third International Conference},
series = "Lecture Notes in Computer Science",
publisher= "Springer-Verlag, Berlin",
editor = "H. Kirchner and G. Levi",
year = {1992},
volume = 632,
pages = "100-114"}