Use of logical models for proving infeasibility in term rewriting | Publicación