%0 Conference Paper %1 journals/corr/ZhouH17 %A Zhou, Qi %A Harris, William %B HCVS %D 2018 %E Kahsai, Temesghen %E Vidal, Germán %K dblp %P 3-18 %T Solving Constrained Horn Clauses Using Dependence-Disjoint Expansions. %U http://dblp.uni-trier.de/db/series/eptcs/eptcs278.html#ZhouH17 %V 278

@inproceedings{journals/corr/ZhouH17, added-at = {2018-10-11T00:00:00.000+0200}, author = {Zhou, Qi and Harris, William}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/269c64801eaa8f587351f7091d0549713/dblp}, booktitle = {HCVS}, crossref = {journals/corr/abs-1809-04554}, editor = {Kahsai, Temesghen and Vidal, Germán}, ee = {http://arxiv.org/abs/1705.03167}, interhash = {109895e7047f4c676559287cf10ea754}, intrahash = {69c64801eaa8f587351f7091d0549713}, keywords = {dblp}, pages = {3-18}, series = {EPTCS}, timestamp = {2019-09-27T12:27:48.000+0200}, title = {Solving Constrained Horn Clauses Using Dependence-Disjoint Expansions.}, url = {http://dblp.uni-trier.de/db/series/eptcs/eptcs278.html#ZhouH17}, volume = 278, year = 2018 }