@inproceedings{
    OJ07:asp,
    editor = "Costantini, Stefania and Watson, Richard",
    author = "Oikarinen, Emilia and Janhunen, Tomi",
    publisher = "",
    title = "A Translation-based Approach to the Verification of Modular Equivalence",
    booktitle = "Proceedings of the 4th International Workshop on Answer Set Programming",
    address = "Porto, Portugal",
    month = "September",
    flags = "copy,ACPT",
    year = "2007",
    pages = "255--269"
}