D. Nunes, L. Antunes, and F. Amblard. Progress in Artificial Intelligence, volume 8154 of Lecture Notes in Computer Science, Springer Berlin Heidelberg, (2013)
S. Manzoor, P. Libbrecht, C. Ullrich, and E. Melis. Mathematical Knowledge Management: 4th International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers, volume 3863 of LNCS, page 33--48. Heidelberg, Springer, (2006)
G. Mineau, and O. Gerbé. Proceedings of the Fifth International Conference on
Conceptual Structures, University of Washington, Seattle, August 3--8,
1997, page 80--94. Springer Verlag, (1997)Lecture Notes in Artificial Intelligence, No. 1257.