A Maude Coherence Checker Tool for Conditional Order-Sorted Rewrite Theories | Publicación