TY  - RPRT
TI  - Achieving compositionality of the stable model semantics for Smodels programs
AU  - Emilia Oikarinen
AU  - Tomi Janhunen
PY  - 2008
UR  - https://arxiv.org/abs/0809.4582
ID  - 0809.4582
ER  -