Yue Jun Jiang
-
Sequent calculi for propositional nonmonotonic logics
ACM Transactions on Computational Logic (TOCL)