2016. Mathematical Equation Structural Syntactical Similarity Patterns: A Tree Overlapping Algorithm and Its Evaluation. Informatica. 40, 4 (Dec. 2016).