@article{
    OJ08:tplp,
    author = "Oikarinen, Emilia and Janhunen, Tomi",
    title = "Achieving Compositionality of the Stable Model Semantics for smodels Programs",
    journal = "Theory and Practice of Logic Programming",
    number = "5-6",
    month = "November",
    volume = "8",
    flags = "copy,MCM",
    year = "2008",
    pages = "717--761"
}