TY  - GEN
AB  - cse-03-003
AU  - Krstic, Sava
DA  - 2000
DO  - 10.6083/gb19f612s
DO  - DOI
ID  - 3802
L1  - https://digitalcollections.ohsu.edu/record/3802/files/csetech-119.pdf
L2  - https://digitalcollections.ohsu.edu/record/3802/files/csetech-119.pdf
L4  - https://digitalcollections.ohsu.edu/record/3802/files/csetech-119.pdf
LK  - https://digitalcollections.ohsu.edu/record/3802/files/csetech-119.pdf
N2  - cse-03-003
PY  - 2000
T1  - Canonization for disjoint unions of theories
TI  - Canonization for disjoint unions of theories
UR  - https://digitalcollections.ohsu.edu/record/3802/files/csetech-119.pdf
Y1  - 2000
ER  -