%0 Journal Article %1 journals/scp/KafleG17 %A Kafle, Bishoksan %A Gallagher, John P. %D 2017 %J Sci. Comput. Program. %K dblp %P 125-140 %T Constraint specialisation in Horn clause verification. %U http://dblp.uni-trier.de/db/journals/scp/scp137.html#KafleG17 %V 137

@article{journals/scp/KafleG17, added-at = {2019-09-25T00:00:00.000+0200}, author = {Kafle, Bishoksan and Gallagher, John P.}, biburl = {https://www.bibsonomy.org/bibtex/2c52d97da5d172fcd77f6b31bf632dc4d/dblp}, ee = {https://doi.org/10.1016/j.scico.2017.01.002}, interhash = {bcd3ba8e7a946c2dc694bc7f17a512fd}, intrahash = {c52d97da5d172fcd77f6b31bf632dc4d}, journal = {Sci. Comput. Program.}, keywords = {dblp}, pages = {125-140}, timestamp = {2019-09-26T12:26:26.000+0200}, title = {Constraint specialisation in Horn clause verification.}, url = {http://dblp.uni-trier.de/db/journals/scp/scp137.html#KafleG17}, volume = 137, year = 2017 }