@inproceedings{a0371e038b0d4b6ca7b34616a60e6a35,
title = "Modular Equivalence for Normal Logic Programs",
keywords = "answer set programming, congruence, equivalence, modular logic programs, stable model semantics, answer set programming, congruence, equivalence, modular logic programs, stable model semantics, answer set programming, congruence, equivalence, modular logic programs, stable model semantics",
author = "Emilia Oikarinen and Tomi Janhunen",
year = "2006",
language = "English",
pages = "412--416",
editor = "Gerhard Brewka and Silvia Coradeschi and Anna Perini and Paolo Traverso",
booktitle = "The 17th European Conference on Artificial Intelligence, Riva del Garda, Italy, 28 August - 1 September, 2006",
publisher = "IOS Press",
address = "Netherlands",
}