No pages link to File:Durán.Mesegue.Rocha.Ground Confluence of Order-sorted Conditional Specifications Modulo Axioms.TR.pdf.