On the Church-Rosser and coherence properties of conditional order-sorted rewrite theories | Publicación