"Unification in the Union of Disjoint Equational Theories: Combining ..."

Franz Baader, Klaus U. Schulz (1992)
a service of Schloss Dagstuhl - Leibniz Center for Informatics