Tableau-Based Reasoning

Ralf Möller, Volker Haarslev. Tableau-Based Reasoning. In Steffen Staab, Rudi Studer, editors, Handbook on Ontologies. International Handbooks on Information Systems, pages 509-528, Springer, 2009. [doi]