Achieving Compositionality of the Stable Model Semantics for smodels Programs

Reference:

Emilia Oikarinen and Tomi Janhunen. Achieving compositionality of the stable model semantics for smodels programs. Theory and Practice of Logic Programming, 8(5-6):717–761, November 2008.

Suggested BibTeX entry:

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