Reduction Theorems for Boolean Formulas Using Delta-Trees.

Gloria Gutirrez, Inman P. de Guzmn, Javier Martnez, Manuel Ojeda-Aciego, Agustn Valverde

Browse the full JELIA paper archive.