Formal Reasoning with Precise Words | Publicación