@TECHREPORT{Kuesters-LTCS-97-04,
 author         = {R. K{\"u}sters},
 title          = {Characterizing the semantics of terminological cycles in
                 {$\mathcal{ALN}$} using finite automata},
 institution    = {LuFg Theoretical Computer Science, RWTH Aachen, Germany},
 year           = 1997,
 type           = {LTCS-Report},
 number         = {LTCS-97-04}
}