@techreport{1a058e89ad4845c784d24c3b36d8f044,
title = "Modular Answer Set Programming",
keywords = "modular answer set programming, modular congruence, equivalence verification, nonmonotonic reasoning, stable model semantics, modular answer set programming, modular congruence, equivalence verification, nonmonotonic reasoning, stable model semantics, modular answer set programming, modular congruence, equivalence verification, nonmonotonic reasoning, stable model semantics",
author = "Emilia Oikarinen",
year = "2006",
language = "English",
isbn = "951-22-8581-9",
series = "Laboratory for Theoretical Computer Science, Series A:",
publisher = "TKK, tietojenk{\"a}sittelyteorian laboratorio",
number = "A106",
pages = "x+81",
type = "WorkingPaper",
institution = "TKK, tietojenk{\"a}sittelyteorian laboratorio",
}