Reference:
Emilia Oikarinen and Tomi Janhunen. A translation-based approach to the verification of modular equivalence. In Stefania Costantini and Richard Watson, editors, Proceedings of the 4th International Workshop on Answer Set Programming, pages 255–269, Porto, Portugal, September 2007.
Suggested BibTeX entry:
@inproceedings{OJ07:asp,
address = {Porto, Portugal},
author = {Emilia Oikarinen and Tomi Janhunen},
booktitle = {Proceedings of the 4th International Workshop on Answer Set Programming},
editor = {Stefania Costantini and Richard Watson},
month = {September},
pages = {255--269},
title = {A Translation-based Approach to the Verification of Modular Equivalence},
year = {2007},
}
|