Combination techniques for non-disjoint equational theories (1994)

by Eric Domenjoud, Francis Klay, Christophe Ringeissen
Venue:In International Conference on Automated Deduction, (CADE-12), volume 814 of LNCS