Rajeev Goré, Clemens Kupke, Dirk Pattinson, Lutz Schröder. Global Caching for Coalgebraic Description Logics. In Jürgen Giesl, Reiner Hähnle, editors, Automated Reasoning, 5th International Joint Conference, IJCAR 2010, Edinburgh,UK, July 16-19, 2010. Proceedings. Volume 6173 of Lecture Notes in Computer Science, pages 46-60, Springer, 2010. [doi]
Abstract is missing.