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.
Y. Maarek. Text-based Intelligent Systems: current research and practice in information extraction and retrieval, Lawrence Erlbaum, Hillsdale (New Jersey), Hove and London, (1992)