Combination techniques for non-disjoint equational theories (1994)

by Eric Domenjoud, Francis Klay, Christophe Ringeissen
Venue:Proceedings 12th International Conference on Automated Deduction