Propositional Lower Bounds: Generalization and Algorithms.

Marco Cadoli Luigi Palopoli Francesco Scarcello Propositional Lower Bounds: Generalization and Algorithms. 355-367 http://dx.doi.org/10.1007/3-540-49545-2_24 1998 conf/jelia/1998 JELIA db/conf/jelia/jelia98.html#CadoliPS98