"Domains for Logic Programming."

Ivan Filippenko, F. Lockwood Morris (1992)
a service of Schloss Dagstuhl - Leibniz Center for Informatics