1. Andersen, H.R., Hulgaard, H.: Boolean expression diagrams. In: Proceedings of the 12th Annual IEEE Symposium on Logic in Computer Science, LICS 1997, pp. 88–98. IEEE (1997)
2. Baader, F., Suntisrivaraporn, B.: Debugging snomed ct using axiom pinpointing in the description logic
$\mathcal{EL}^{+}$
. In: Proceedings of the International Conference on Representing and Sharing Knowledge Using SNOMED (KR-MED 2008). Citeseer, Phoenix (2008)
3. Lecture Notes in Computer Science;J. Bailey,2005
4. Lecture Notes in Computer Science;B. Beckert,2007
5. Bonatti, P., Calimeri, F., Leone, N., Ricca, F.: Answer set programming. In: Dovier, A., Pontelli, E. (eds.) 25 Years of Logic Programming. LNCS, vol. 6125, pp. 159–182. Springer, Heidelberg (2010)