K. K. Sharma, Kunal Banerjee, Chittaranjan A. Mandal. Determining Equivalence of Expressions: An Automated Evaluator's Perspective. In Venkatesh Choppella, Sridhar Iyer, Kinshuk, editors, Seventh IEEE International Conference on Technology for Education, T4E 2015, Warangal, India, December 10-12, 2015. pages 35-36, IEEE, 2015. [doi]
Abstract is missing.