Francisco Durán, José Meseguer
On the Church-Rosser and coherence properties of conditional order-sorted rewrite theories
WRLA, 2012.
@article{WRLA-J-2010-DuranM12,
author = "Francisco Durán and José Meseguer",
doi = "10.1016/j.jlap.2011.12.004",
journal = "{Journal of Logic and Algebraic Programming}",
number = "7-8",
pages = "816--850",
title = "{On the Church-Rosser and coherence properties of conditional order-sorted rewrite theories}",
volume = 81,
year = 2012,
}