Ticket Entailment plus the mingle axiom has the variable-sharing property | Publicación