V. Haarslev, and R. Möller. Automated Reasoning: First International Joint
Conference (IJCAR) 2001, volume 2083 of Lecture Notes in Computer Science, page 701. Siena, Italy, Springer-Verlag, (June 2001)
S. Konstantopoulos, and G. Apostolikas. Proceedings of International IFIP Workshop of Semantic Web and Web Semantics (IFIP-SWWS 07), Algarve, 29--30 Nov. 2007, (2007)
R. Straeten, T. Mens, J. Simmonds, and V. Jonckers. UML 2003 – The Unified Modeling Language, volume 2863 of Lecture Notes in Computer Science, page 326--340. Springer, (2003)