A Novel Method for Counting Models on Grid Boolean Formulas - Guillen, Carlos; de Ita, Guillermo; Lopez-Lopez, Aurelio (Syntactic Asp Forgetting With Forks, 2010)