TY  - RPRT
TI  - On the Tractability of Minimal Model Computation for Some CNF Theories
AU  - Fabrizio Angiulli
AU  - Rachel Ben-Eliyahu-Zohary
AU  - Fabio Fassetti
AU  - Luigi Palopoli
PY  - 2013
UR  - https://arxiv.org/abs/1310.8120
ID  - 1310.8120
ER  -