Uni in the union of disjoint equational theories: Combining decision procedures (1996)

by F Baader, K U Schulz
Venue:Journal of Symbolic Computation