"Nonmonotonic Logics and Their Algebraic Foundations."

Miroslaw Truszczynski (2006)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics