Mohammed Shatnawi, Abdou Youssef. Equivalence detection using parse-tree normalization for math search. In Second IEEE International Conference on Digital Information Management (ICDIM), December 11-13, 2007, Lyon, France, Proceedings. pages 643-648, IEEE, 2007. [doi]
Abstract is missing.