Francesco M. Donini Fabio Massacci Daniele Nardi Riccardo Rosati A Uniform Tableaux Method for Nonmonotonic Modal Logics. 87-103 1996 conf/jelia/1996 JELIA db/conf/jelia/jelia96.html#DoniniMNR96 http://dx.doi.org/10.1007/3-540-61630-6_6