TY  - RPRT
TI  - On the tractable counting of theory models and its application to belief revision and truth maintenance
AU  - Adnan Darwiche
PY  - 2000
UR  - https://arxiv.org/abs/cs/0003044
ID  - cs/0003044
ER  -