Sava Krstic, Sylvain Conchon. Canonization for disjoint unions of theories. Inf. Comput., 199(1-2):87-106, 2005. [doi]
@article{KrsticC05, title = {Canonization for disjoint unions of theories}, author = {Sava Krstic and Sylvain Conchon}, year = {2005}, doi = {10.1016/j.ic.2004.11.001}, url = {http://dx.doi.org/10.1016/j.ic.2004.11.001}, researchr = {https://researchr.org/publication/KrsticC05}, cites = {0}, citedby = {0}, journal = {Inf. Comput.}, volume = {199}, number = {1-2}, pages = {87-106}, }