"Satisfiability Checking in Łukasiewicz Logic as Finite Constraint ..."

Steven Schockaert, Jeroen Janssen, Dirk Vermeir (2012)
a service of Schloss Dagstuhl - Leibniz Center for Informatics