Equivalence checking: a rule-based approach.

Masahiro Fujita, Subash Shankar, Sasaki Shunsuke

Browse the full MEMOCODE paper archive.