@article{OJ09:jlc,
author = {Emilia Oikarinen and Tomi Janhunen},
journal = {Journal of Logic and Computation},
month = {August},
number = {4},
pages = {591--613},
title = {A Translation-Based Approach to the Verification of Modular Equivalence},
volume = {19},
year = {2009},
}