Similar Items: Congruence Closure Modulo Groups
- Modularity and Combination of Associative Commutative Congruence Closure Algorithms enriched with Semantic Properties
- On tractability and congruence distributivity
- All Linear-Time Congruences for Familiar Operators
- Rooted Divergence-Preserving Branching Bisimilarity is a Congruence
- Rewriting Modulo Traced Comonoid Structure
- A categorical framework for congruence of applicative bisimilarity in higher-order languages