Very interesting paper that combine AC(ssociativity and commutativity) operators with Shostak approach.
Generally, there are two approaches for theory combinations, nelson-oppen and Shostak.
The former one just pass equalities between T-solvers, so it is relativly easy to combine AC with it.
But for Shostak, it need to computer canonical form, which is not possible for AC.