Marco Cadoli, Diego Calvanese, Giuseppe De Giacomo. Towards Implementing Finite Model Reasoning in Description Logics. In Volker Haarslev, Ralf Möller, editors, Proceedings of the 2004 International Workshop on Description Logics (DL2004), Whistler, British Columbia, Canada, June 6-8, 2004. Volume 104 of CEUR Workshop Proceedings, CEUR-WS.org, 2004. [doi]
Abstract is missing.