New logical and complexity results for signed-SAT | Publicación