@inproceedings{ReyEtAl-IJCAR-18,
  author    = {Andrew Reynolds and
               Arjun Viswanathan and
               Haniel Barbosa and
               Cesare Tinelli and
               Clark Barrett},
  title     = {Datatypes with Shared Selectors},
  booktitle = {Proceedings of the 9th International Joint Conference on Automated Reasoning ({IJCAR} 2018), Oxford, UK},
  pages     = {591--608},
  year      = {2018},
  url       = {https://doi.org/10.1007/978-3-319-94205-6\_39},
  doi       = {10.1007/978-3-319-94205-6\_39},
}