M. de Miguel. Proceedings of the Eighth International Workshop on Object-Oriented Real-Time Dependable Systems, 2003., page 210--216. IEEE, (January 2003)
S. Zhang, and S. Goddard. International Conference on Information Technology: Coding and Computing, 2005. ITCC 2005, 2, page 443-- 448 Vol. 2. IEEE, (April 2005)
Y. Oh, D. Lee, S. Kang, and J. Lee. 5th IEEE/ACM International Conference on Formal Methods and Models for Codesign, 2007. MEMOCODE 2007, page 87--88. IEEE, (June 2007)
F. Baader, B. Ganter, B. Sertkaya, and U. Sattler. Proceedings of the 20th international joint conference on Artifical intelligence, page 230--235. San Francisco, CA, USA, Morgan Kaufmann Publishers Inc., (2007)
R. Bastide, D. Navarre, and P. Palanque. CHI '02 extended abstracts on Human factors in computing systems, page 516--517. Minneapolis, Minnesota, USA, ACM Press, (2002)
F. Baader. Proceedings of the International Symposium on Knowledge Retrieval, Use, and Storage for Efficiency, KRUSE 95, page 168--178. Santa Cruz, USA, (1995)
R. Gugisch. Proceedings of the 9th International Conference on Conceptual Structures (ICCS 2001), volume 2120 of Lecture Notes in Computer Science, page 157-168. Springer, (2001)
S. Rudolph. Proceedings of the 12th International Conference on Conceptual Structures (ICCS 2004), volume 3127 of Lecture Notes in Computer Science, page 196-212. Springer, (2004)