Similar Items: On tractability and congruence distributivity
- Tractable Combinations of Temporal CSPs
- Congruence Closure Modulo Groups
- A Distribution Law for CCS and a New Congruence Result for the pi-calculus
- Generalized Majority-Minority Operations are Tractable
- All Linear-Time Congruences for Familiar Operators
- Rooted Divergence-Preserving Branching Bisimilarity is a Congruence