@Inproceedings{EPTCS296.7,
  author    = {Dietsch, Daniel and Heizmann, Matthias and Hoenicke, Jochen and Nutz, Alexander and Podelski, Andreas},
  year      = {2019},
  title     = {Ultimate TreeAutomizer (CHC-COMP Tool Description)},
  editor    = {De Angelis, Emanuele and Fedyukovich, Grigory and Tzevelekos, Nikos and Ulbrich, Mattias},
  booktitle = {{\rm Proceedings of the Sixth Workshop on}
               Horn Clauses for Verification and Synthesis {\rm and Third Workshop on} Program Equivalence and Relational Reasoning,
               {\rm Prague, Czech Republic, 6-7th April 2019}},
  series    = {Electronic Proceedings in Theoretical Computer Science},
  volume    = {296},
  publisher = {Open Publishing Association},
  pages     = {42-47},
  doi       = {10.4204/EPTCS.296.7},
}