Jan Hladik. Implementation and Evaluation of a Tableau Algorithm for the Guarded Fragment. In Ian Horrocks, Sergio Tessaris, editors, Proceedings of the 2002 International Workshop on Description Logics (DL2002), Toulouse, France, April 19-21, 2002. Volume 53 of CEUR Workshop Proceedings, CEUR-WS.org, 2002. [doi]
Abstract is missing.