Arnaud Durand Miki Hermann On the counting complexity of propositional circumscription. 164-170 2008 106 Inf. Process. Lett. 4 http://dx.doi.org/10.1016/j.ipl.2007.11.006 db/journals/ipl/ipl106.html#DurandH08