@inproceedings{BienvenuAAAI08,
	Author = {Meghyn Bienvenu},
	Booktitle = {Proceedings of the Twenty-Third Conference on Artificial Intelligence (AAAI-08)},
	Title = {Prime Implicate Normal Form for {$\mathcal{ALC}$} Concepts},
	Year = {2008},
	Pages = {412-417},
	Publisher = {AAAI Press}
}