Safe beliefs for propositional theories | Publicación