A Tableau Algorithm for Reasoning about Concepts and Similarity.

Carsten Lutz, Frank Wolter, Michael Zakharyaschev

Browse the full TABLEAUX paper archive.