A new approach for combining decision procedures for the word problem, and its connection to the nelson-oppen combination method (1997)

by F Baader, C Tinelli
Venue:Automated Deduction – CADE-14, 14th InternationalConference on Automated Deduction’, LNAI 1249