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]
@inproceedings{Kusters97,
title = {Characterizing the semantics of terminological cycles with the help of finite automata},
author = {Ralf Küsters},
year = {1997},
url = {http://dl.kr.org/dl97/proceedings/kuesters.ps.gz},
tags = {semantics},
researchr = {https://researchr.org/publication/Kusters97},
cites = {0},
citedby = {0},
booktitle = {Proceedings of the 1997 International Workshop on Description Logics, Université Paris-Sud, Centre d Orsay, Laboratoire de Recherche en Informatique LRI},
editor = {Ronald J. Brachman and Francesco M. Donini and Enrico Franconi and Ian Horrocks and Alon Y. Levy and Marie-Christine Rousset},
volume = {410},
series = {URA-CNRS},
}