TY  - RPRT
TI  - Ultimate TreeAutomizer (CHC-COMP Tool Description)
AU  - Daniel Dietsch
AU  - Matthias Heizmann
AU  - Jochen Hoenicke
AU  - Alexander Nutz
AU  - Andreas Podelski
PY  - 2019
DO  - 10.4204/eptcs.296.7
UR  - https://arxiv.org/abs/1907.03998
ID  - 1907.03998
ER  -