F. Kamareddine, M. Maarek, K. Retel, and J. Wells. Towards Mechanized Mathematical Assistants (Lecture Notes in AI), 4573, page 296-312. Springer, (2007)ISBN=978-3-540-73083-5,
doi = 10.1007/978-3-540-73086-6_24.
F. Kamareddine, M. Maarek, K. Retel, and J. Wells. Proceedings of the Sixth International Conference on MATHEMATICAL KNOWLEDGE MANAGEMENT, Lecture Notes in AI 4573, page 296-312. Springer, (2007)