Constrained narrowing for conditional equational theories modulo axioms. - Andrew Cholewa; Santiago Escobar 001; José Meseguer 001 (Sci. Comput. Program., 2015)