%0 Journal Article %1 journals/tplp/KafleGGS18 %A Kafle, Bishoksan %A Gallagher, John P. %A Gange, Graeme %A Schachte, Peter %A Søndergaard, Harald %A Stuckey, Peter J. %D 2018 %J Theory Pract. Log. Program. %K dblp %N 3-4 %P 553-570 %T An iterative approach to precondition inference using constrained Horn clauses. %U http://dblp.uni-trier.de/db/journals/tplp/tplp18.html#KafleGGS18 %V 18

@article{journals/tplp/KafleGGS18, added-at = {2020-02-13T00:00:00.000+0100}, author = {Kafle, Bishoksan and Gallagher, John P. and Gange, Graeme and Schachte, Peter and Søndergaard, Harald and Stuckey, Peter J.}, biburl = {https://www.bibsonomy.org/bibtex/25e7a9262667deb041c697d3380420490/dblp}, ee = {https://www.wikidata.org/entity/Q57664976}, interhash = {932fedd0244e37359aebe3df66ef29bb}, intrahash = {5e7a9262667deb041c697d3380420490}, journal = {Theory Pract. Log. Program.}, keywords = {dblp}, number = {3-4}, pages = {553-570}, timestamp = {2020-02-14T11:44:02.000+0100}, title = {An iterative approach to precondition inference using constrained Horn clauses.}, url = {http://dblp.uni-trier.de/db/journals/tplp/tplp18.html#KafleGGS18}, volume = 18, year = 2018 }