@inproceedings{Reger0V18,
  author    = {Giles Reger and
               Martin Suda and
               Andrei Voronkov},
  title     = {Unification with Abstraction and Theory Instantiation in Saturation-Based
               Reasoning},
  booktitle = {TACAS 2018}, 
  pages     = {3--22},
  year      = {2018},
  url       = {https://doi.org/10.1007/978-3-319-89960-2\_1},
  doi       = {10.1007/978-3-319-89960-2\_1},
}