@conference { DoNR97,
	title = {Autoepistemic description logics},
	booktitle = {International Joint Conference on Artificial Intelligence (IJCAI) -97},
	year = {1997},
	author = {Francesco~M.~Donini and D. Nardi and Riccardo~Rosati}
}
@conference {DoNR97,
	title = {Autoepistemic description logics},
	booktitle = {International Joint Conference on Artificial Intelligence (IJCAI) -97},
	year = {1997},
	author = {Francesco~M.~Donini and Daniele~Nardi and Riccardo~Rosati}
}
