Formal Reasoning with Imprecise (and Precise) Words | Publicación