F. Baader. Proceedings of the International Symposium on Knowledge Retrieval, Use, and Storage for Efficiency, KRUSE 95, page 168--178. Santa Cruz, USA, (1995)
N. Fanizzi, and C. d'Amato. Foundations of Intelligent Systems, 16th International Symposium,, volume 4203 of Lecture Notes in Computer Science, page 322-331. Springer, Berlin--Heidelberg, Germany, (2006)