Roberto Barbuti
Roberto Barbuti, Michael Codish, Roberto Giacobazzi, and Michael J. Maher.
Oracle semantics for Prolog.
Information and Computation
, 122(2):178-200, 1 November 1995.
Abstract, References, and Citations.
Shortcuts:
Information and Computation homepage
Bibliography top level
Information and Computation Author Index
Search the HBP database