Guillermo De Ita Luna Pedro Bello López Meliza Contreras González Efficient counting of models for boolean formulas represented by embedded cycles. 2007 conf/lanmr/2007 LA-NMR http://www.ceur-ws.org/Vol-286/LANMR07_03.pdf db/conf/lanmr/lanmr2007.html#LunaLG07