@article{DBLP:journals/corr/GallagherK14, author = {John P. Gallagher and Bishoksan Kafle}, title = {Analysis and Transformation Tools for Constrained {H}orn Clause Verification}, journal = {{TPLP}}, year = {2014}, volume = {14}, number = {4-5 (additional materials in online edition)}, pages = {90--101}, url = {http://journals.cambridge.org/action/displaySuppMaterial?cupCode=1&type=4&jid=TLP&volumeId=14&issueId=4-5&aid=9303163}, timestamp = {Sat, 13 Sep 2014 12:58:45 +0200}, biburl = {http://dblp.uni-trier.de/rec/bib/journals/corr/GallagherK14}, bibsource = {dblp computer science bibliography, http://dblp.org} }