Tableau-Based Reasoning.

Ralf Möller, Volker Haarslev

Original languageEnglish
Title of host publicationHandbook on Ontologies
Number of pages20
Publication date2009
Pages509-528
DOIs
Publication statusPublished - 2009

Cite this