A tree-partitioning technique with applications to expression evaluation and term matching | IEEE Conference Publication | IEEE Xplore