On the Church-Rosser and coherence properties of conditional order-sorted rewrite theories

Francisco Durán, José Meseguer. On the Church-Rosser and coherence properties of conditional order-sorted rewrite theories. Journal of Logic and Algebraic Programming, 81(7-8):816-850, 2012. [doi]

Abstract

Abstract is missing.