Volker Haarslev, Martina Timmann, Ralf Möller. Combining Tableaux and Algebraic Methods for Reasoning with Qualified Number Restrictions. In Carole A. Goble, Deborah L. McGuinness, Ralf Möller, Peter F. Patel-Schneider, editors, Working Notes of the 2001 International Description Logics Workshop (DL-2001), Stanford, CA, USA, August 1-3, 2001. Volume 49 of CEUR Workshop Proceedings, CEUR-WS.org, 2001. [doi]
Abstract is missing.