A Translation-based Approach to the Verification of Modular Equivalence. - OIKARINEN, EMILIA; JANHUNEN, TOMI (Journal of Logic & Computation, 2009)