@Inproceedings{EPTCS216.6, author = {Kafle, Bishoksan and Gallagher, John P. }, year = {2016}, title = {Interpolant Tree Automata and their Application in Horn Clause Verification}, editor = {Hamilton, Geoff and Lisitsa, Alexei and Nemytykh, Andrei P.}, booktitle = {{\rm Proceedings of the Fourth International Workshop on} Verification and Program Transformation, {\rm Eindhoven, The Netherlands, 2nd April 2016}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {216}, publisher = {Open Publishing Association}, pages = {104-117}, doi = {10.4204/EPTCS.216.6}, }