Transformations between signed and classical clause logic | Publicación