@inproceedings {4993,
	title = {Fixpoint Extensions of Temporal Description Logics},
	booktitle = {International Workshop on Description Logics (DL)},
	year = {2003},
	url = {http://ceur-ws.org/Vol-81/franconi.pdf},
	author = {Enrico Franconi and David Toman}
}
