Combination Techniques for Non-Disjoint Equational Theories (1994)

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