M. Codescu, F. Horozal, M. Kohlhase, T. Mossakowski, and F. Rabe. Intelligent Computer Mathematics 18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011. Proceedings, volume 6824 of Lecture Notes in Computer Science, page 289-291. Springer-Verlag Berlin Heidelberg, (2011)
D. Fensel, I. Horrocks, F. van Harmelen, S. Decker, M. Erdmann, and M. Klein. Knowledge Engineering and Knowledge Management;
Methods, Models and Tools, Proceedings of the 12th
International Conference EKAW 2000, LNCS 1937, page 1--16. Juan-les-Pins, France, Springer-Verlag, (October 2000)
A. Tsakonas, G. Dounias, M. Doumpos, and C. Zopounidis. Expert Systems With Applications, 30 (3):
449--461(April 2006)Intelligent Information Systems for Financial
Engineering.