000003802 001__ 3802
000003802 005__ 20260410141724.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$$ePublic$$27e79904d594ca8c2fe21efcf30444053$$31
000003802 901__ $$a<p>These documents are archival records. They are retained for historical reference only. </p><p><b>Need an accessible version? Use the "Get Accessible Copy" link above.</b></p>
000003802 905__ $$a/rest/prod/gb/19/f6/12/gb19f612s
000003802 956__ $$aGet Accessible Copy$$uhttps://ohsu.libwizard.com/f/requestaccessibledocument
000003802 980__ $$aScholars Archive