Circular (Yet Sound) Proofs in Propositional Logic | Publicación