@misc{indiciaea0a990985712,
  title = {Occurrence Typing Modulo Theories},
  author = {Andrew M. Kent and David Kempe and Sam Tobin-Hochstadt},
  year = {2016},
  doi = {10.1145/2980983.2908091},
  url = {https://arxiv.org/abs/1511.07033},
  note = {Source identifier: 1511.07033}
}