"Super Logic Programs."

Stefan Brass, Jürgen Dix, Teodor C. Przymusinski (1996)
a service of Schloss Dagstuhl - Leibniz Center for Informatics