1. Tableaux for diagnosis applications;Baumgartner,1997
2. The complexity of circumscription in description logic;Bonatti;J. Artif. Int. Res.,2009
3. Positive unit hyperresolution tableaux and their application to minimal model generation;Bry;J. Automated Reasoning,2000
4. Resolution-based methods for modal logics;De Nivelle;Logic J. IGPL,2000
5. Computational space efficiency and minimal model generation for guarded formulae;Georgieva,2001