Gloria Gutiérrez, Inman P. de Guzmán, Javier Martínez, Manuel Ojeda-Aciego, Agustín Valverde. Reduction Theorems for Boolean Formulas Using Delta-Trees. In Manuel Ojeda-Aciego, Inman P. de Guzmán, Gerhard Brewka, Luís Moniz Pereira, editors, Logics in Artificial Intelligence, European Workshop, JELIA 2000 Malaga, Spain, September 29 - October 2, 2000, Proceedings. Volume 1919 of Lecture Notes in Computer Science, pages 179-192, Springer, 2000. [doi]
Abstract is missing.