"Oracle Semantics for Prolog."

Roberto Barbuti et al. (1992)
a service of Schloss Dagstuhl - Leibniz Center for Informatics