TY  - RPRT
TI  - Characterizing and computing stable models of logic programs: The non-stratified case
AU  - Gianpaolo Brignoli
AU  - Stefania Costantini
AU  - Ottavio D'Antona
AU  - Alessandro Provetti
PY  - 2014
UR  - https://arxiv.org/abs/1402.5436
ID  - 1402.5436
ER  -