A General Tableau Method for Deciding Description Logics, Modal Logics and Related First-Order Fragments.

Renate A. Schmidt, Dmitry Tishkovsky

Browse the full CADE paper archive.