article · 2002
A compositional semantics for conditional term rewriting systems
The article considers compositions of conditional term rewriting systems as a basis for a modular approach to the design and analysis of equational logic pro...
8 citationsDOI: https://doi.org/10.1109/iccl.1994.288383