@inproceedings{CVC4-SMT-Competition-2019,
  author = {Clark Barrett and Haniel Barbosa and Martin Brain and Tim King and Makai Mann and Aina Niemetz and Andres N\"{o}tzli and Alex Ozdemir and Mathias Preiner and Andrew Reynolds and Cesare Tinelli and Yoni Zohar},
  title = {{CVC4 at the SMT competition 2019}},
  editor = {Joe Hendrix and Natasha Sharygina},
  booktitle = {Proceedings of the 17th International Workshop on
               Satisfiability Modulo Theories, {SMT} 2019),
               affiliated with the 22nd International Conference on
               Theory and Applications of Satisfiability Testing, {SAT} 2019,
               Lisbon, Portugal, July 7-8, 2019},
  pages={3 pages},
  year={2019},
}