"Semantics of (disjunctive) Logic Programs Based on Partial Evaluation."

Stefan Brass, Jürgen Dix (1999)
a service of Schloss Dagstuhl - Leibniz Center for Informatics