"A Multiple-Valued Logical Semantics for Prolog."

Roberto Barbuti, Paolo Mancarella (1996)
a service of Schloss Dagstuhl - Leibniz Center for Informatics