Estimating expression equivalence by decomposition Jonathan Worthington <jonathan@jwcs.net>