@article{Baader-AMAI-96,
        author = {F. Baader},
        title  = {Using Automata Theory for Characterizing the Semantics
                  of Terminological Cycles}, 
        journal = {Annals of Mathematics and Artificial Intelligence},
	volume  = {18},
        number = {2--4},
	pages  = {175--219},
	freecopy = {yes},
        year    = {1996}}