"Operational and Goal-Independent Denotational Semantics for Prolog with Cut."

Fausto Spoto (2000)
a service of Schloss Dagstuhl - Leibniz Center for Informatics