Adnan Darwiche On the Tractable Counting of Theory Models and its Application to Truth Maintenance and Belief Revision. 11-34 2001 11 Journal of Applied Non-Classical Logics 1-2 db/journals/jancl/jancl11.html#Darwiche01