@InProceedings{BeckerMuellerSummers19,
  author       = {N. Becker and P. M\"uller and A. J. Summers},
  title        = {The Axiom Profiler: Understanding and Debugging SMT Quantifier Instantiations},
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems (TACAS)},
  year         = {2019},
  series       = {LNCS},
  pages     = {99--116},
  editor    = {Tom{\'{a}}s Vojnar and Lijun Zhang},
  volume    = {11427},
  publisher    = {Springer-Verlag}
}