K.U.: Uni in the Union of Disjoint Equational Theories: Combining Decision Procedures (1996)

by F Baader, Schulz
Venue:J. Symbolic Computation