"Satisfiability Calculus: The Semantic Counterpart of a Proof Calculus in ..."

Carlos Gustavo López Pombo et al. (2012)
a service of Schloss Dagstuhl - Leibniz Center for Informatics