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]
No references recorded for this publication.
No citations of this publication recorded.