Constrained narrowing for conditional equational theories modulo axioms | Publicación