A Modular Associative Commutative (AC) Congruence Closure Algorithm
- Publication date
- 1 January 2021
- Publisher
- LIPIcs - Leibniz International Proceedings in Informatics. 6th International Conference on Formal Structures for Computation and Deduction (FSCD 2021)