RAHFT: A tool for verifying horn clauses using abstract interpretation and finite tree automata - Kafle B; Gallagher JP; Morales JF (Lecture Notes In Computer Science, 2016)