Theorem proving modulo associativity | Publicación