000003802 001__ 3802
000003802 005__ 20231206121116.0
000003802 0247_ $$2DOI$$a10.6083/gb19f612s
000003802 037__ $$aIR
000003802 245__ $$aCanonization for disjoint unions of theories
000003802 269__ $$a2000
000003802 336__ $$aArticle
000003802 520__ $$acse-03-003
000003802 540__ $$fCC BY
000003802 542__ $$fIn copyright - single owner
000003802 691__ $$aOregon Graduate Institute
000003802 7001_ $$aKrstic, Sava
000003802 8564_ $$998cd97f5-01fe-413e-aa41-a01acfc84287$$s826548$$uhttps://digitalcollections.ohsu.edu/record/3802/files/csetech-119.pdf
000003802 905__ $$a/rest/prod/gb/19/f6/12/gb19f612s
000003802 980__ $$aScholars Archive