@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"}