Modular Equivalence for Normal Logic Programs

Reference:

Emilia Oikarinen and Tomi Janhunen. Modular equivalence for normal logic programs. In Jüergen Dix and Anthony Hunter, editors, Proceedings of the 11th International Workshop on Nonmonotonic Reasoning, pages 10–18, Lake District, UK, May 2006. University of Clausthal, Department of Informatics, Technical Report, IfI-06-04.

Suggested BibTeX entry:

@inproceedings{OJ06:nmr,
    address = {Lake District, UK},
    author = {Emilia Oikarinen and Tomi Janhunen},
    booktitle = {Proceedings of the 11th International Workshop on Nonmonotonic Reasoning},
    editor = {J{\"u}ergen Dix and Anthony Hunter},
    month = {May},
    pages = {10--18},
    publisher = {University of Clausthal, Department of Informatics, Technical Report, IfI-06-04},
    title = {Modular Equivalence for Normal Logic Programs},
    year = {2006},
}