Canonization for Disjoint Unions of Theories.

Sava Krstic, Sylvain Conchon

Browse the full CADE paper archive.