Determining Equivalence of Expressions: An Automated Evaluator's Perspective | IEEE Conference Publication | IEEE Xplore