Kusters97'

BibTeX

@inproceedings{DBLP:conf/dlog/Kusters97,
  author    = {Ralf K{\"u}sters},
  title     = {Characterizing the semantics of terminological cycles with
               the help of finite automata},
  booktitle = {Description Logics},
  year      = {1997},
  ee        = {http://dl.kr.org/dl97/proceedings/kuesters.ps.gz},
  crossref  = {DBLP:conf/dlog/1997},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/dlog/1997,
  editor    = {Ronald J. Brachman and
               Francesco M. Donini and
               Enrico Franconi and
               Ian Horrocks and
               Alon Y. Levy and
               Marie-Christine Rousset},
  title     = {Proceedings of the 1997 International Workshop on Description
               Logics, Universit{\'e} Paris-Sud, Centre d'Orsay, Laboratoire
               de Recherche en Informatique LRI},
  booktitle = {Description Logics},
  series    = {URA-CNRS},
  volume    = {410},
  year      = {1997},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}