Equivalence checking: a rule-based approach. - Masahiro Fujita; Subash Shankar; Sasaki Shunsuke (MEMOCODE, 2006)