Mohammed Shatnawi Abdou Youssef Equivalence detection using parse-tree normalization for math search. 643-648 2007 ICDIM http://dx.doi.org/10.1109/ICDIM.2007.4444297 conf/icdim/2007 db/conf/icdim/icdim2007.html#ShatnawiY07