Maria Paola Bonacina Mnacho Echenim On Variable-inactivity and Polynomial tau-Satisfiability Procedures. 77-96 2008 18 J. Log. Comput. 1 http://dx.doi.org/10.1093/logcom/exm055 db/journals/logcom/logcom18.html#BonacinaE08