Ralf Küsters Characterizing the semantics of terminological cycles with the help of finite automata. 1997 conf/dlog/1997 Description Logics http://dl.kr.org/dl97/proceedings/kuesters.ps.gz db/conf/dlog/dlog1997.html#Kusters97