The 2-SAT problem of regular signed CNF formulas | Publicación