"Modal Nonmonotonic Logics: Ranges, Characterization, Computation."

V. Wiktor Marek, Grigori F. Shvarts, Miroslaw Truszczynski (1991)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics