@article{IR,
      recid = {3802},
      author = {Krstic, Sava},
      title = {Canonization for disjoint unions of theories},
      address = {2000},
      number = {IR},
      abstract = {cse-03-003},
      url = {http://digitalcollections.ohsu.edu/record/3802},
      doi = {https://doi.org/10.6083/gb19f612s},
}