"Sequent calculi for skeptical reasoning in predicate default logic and ..."

Robert Saxon Milnikel (2005)
a service of Schloss Dagstuhl - Leibniz Center for Informatics