"Dialectical Proof Theories for the Credulous Preferred Semantics of ..."

Claudette Cayrol, Sylvie Doutre, Jérôme Mengin (2001)
a service of Schloss Dagstuhl - Leibniz Center for Informatics