Ralf Küsters. Characterizing the semantics of terminological cycles with the help of finite automata. In Ronald J. Brachman, Francesco M. Donini, Enrico Franconi, Ian Horrocks, Alon Y. Levy, Marie-Christine Rousset, editors, Proceedings of the 1997 International Workshop on Description Logics, Université Paris-Sud, Centre d Orsay, Laboratoire de Recherche en Informatique LRI. Volume 410 of URA-CNRS, 1997. [doi]