A Certified Polynomial-Based Decision Procedure for Propositional Logic | Publicación