@inproceedings{ReyEtAl-FROCOS-17,
  author    = {Andrew Reynolds and
               Cesare Tinelli and
               Dejan Jovanovic and
               Clark W. Barrett},
  title     = {Designing Theory Solvers with Extensions},
  booktitle = {Proceedings of the 11th International Symposium on Frontiers of Combining Systems (FroCoS
               2017)},
  pages     = {22--40},
  doi       = {10.1007/978-3-319-66167-4\_2},
  editor    = {Clare Dixon and
               Marcelo Finger},
  series    = {Lecture Notes in Computer Science},
  volume    = {10483},
  publisher = {Springer},
  year      = {2017},
}