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