Declarative Debugging of Membership Equational Logic Specifications | Publicación