"Many-Valued Semantics for Logic Programming."

Melvin Fitting (1992)
a service of Schloss Dagstuhl - Leibniz Center for Informatics