Deciding the word problem in the union of equational theories (0)

by F Baader, C Tinelli
Venue:Information and Computation