Unification in the Union of Disjoint Equational Theories: Combining Decision Procedures.

Franz Baader, Klaus U. Schulz

Browse the full CADE paper archive.