Proving Ground Confluence of Equational Specifications Modulo Axioms | Publicación