%0 Journal Article %1 journals/tplp/KafleGG18 %A Kafle, Bishoksan %A Gallagher, John P. %A Ganty, Pierre %D 2018 %J Theory Pract. Log. Program. %K dblp %N 2 %P 224-251 %T Tree dimension in verification of constrained Horn clauses. %U http://dblp.uni-trier.de/db/journals/tplp/tplp18.html#KafleGG18 %V 18

@article{journals/tplp/KafleGG18, added-at = {2020-02-13T00:00:00.000+0100}, author = {Kafle, Bishoksan and Gallagher, John P. and Ganty, Pierre}, biburl = {https://www.bibsonomy.org/bibtex/23161aced1f900e543793d766d7ef0f38/dblp}, ee = {https://doi.org/10.1017/S1471068418000030}, interhash = {23f6c9d26682dfe411ca63f46a2fec68}, intrahash = {3161aced1f900e543793d766d7ef0f38}, journal = {Theory Pract. Log. Program.}, keywords = {dblp}, number = 2, pages = {224-251}, timestamp = {2020-02-14T11:43:46.000+0100}, title = {Tree dimension in verification of constrained Horn clauses.}, url = {http://dblp.uni-trier.de/db/journals/tplp/tplp18.html#KafleGG18}, volume = 18, year = 2018 }