Unification in Combinations of Collapse-Free Theories with Disjoint Sets of Function Symbols.

Erik Tidn

Browse the full CADE paper archive.