%0 Journal Article %1 journals/corr/Kafle15 %A Kafle, Bishoksan %D 2015 %J CoRR %K dblp %T Solving non-linear Horn clauses using a linear solver. %U http://dblp.uni-trier.de/db/journals/corr/corr1511.html#Kafle15 %V abs/1511.06668

@article{journals/corr/Kafle15, added-at = {2018-08-13T00:00:00.000+0200}, author = {Kafle, Bishoksan}, biburl = {https://www.bibsonomy.org/bibtex/2d3fc0923fec7fb9f51ce7b816b2b47df/dblp}, ee = {http://arxiv.org/abs/1511.06668}, interhash = {162d846a4bc9cf840f31ea448639006f}, intrahash = {d3fc0923fec7fb9f51ce7b816b2b47df}, journal = {CoRR}, keywords = {dblp}, timestamp = {2018-08-14T14:12:41.000+0200}, title = {Solving non-linear Horn clauses using a linear solver.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr1511.html#Kafle15}, volume = {abs/1511.06668}, year = 2015 }