Satisfiability Testing for Boolean Formulas Using Δ-trees | Publicación