Combination of Disjoint Theories: Beyond Decidability.

Pascal Fontaine, Stephan Merz, Christoph Weidenbach

Browse the full CADE paper archive.