Structural Similarity Search for Formulas Using Leaf-Root Paths in Operator Subtrees.

Wei Zhong, Richard Zanibbi

Browse the full ECIR paper archive.