Canonization for disjoint unions of theories (2003)

by S Conchon, Sava Krstić
Venue:Proc. of the 19th International Conference on Automated Deduction (CADE’03), volume 2741 of LNCS