@article{
    OJ09:jlc,
    author = "Oikarinen, Emilia and Janhunen, Tomi",
    title = "A Translation-Based Approach to the Verification of Modular Equivalence",
    url = "http://dx.doi.org/10.1093/logcom/exn039",
    journal = "Journal of Logic and Computation",
    corerank = "A",
    number = "4",
    month = "August",
    volume = "19",
    flags = "copy,MCM",
    year = "2009",
    impactfactor = "A",
    pages = "591--613"
}