Combination techniques for nondisjoint equational theories (0)

by E Domenjoud, F Klay, C Ringeissen
Venue:Proceedings of the 12th International Conference on Automated Deduction