%0 Conference Paper %1 journals/corr/KafleGG15 %A Kafle, Bishoksan %A Gallagher, John P. %A Ganty, Pierre %B VPT@ETAPS %D 2015 %E Lisitsa, Alexei %E Nemytykh, Andrei P. %E Pettorossi, Alberto %K dblp %P 1-14 %T Decomposition by tree dimension in Horn clause verification. %U http://dblp.uni-trier.de/db/series/eptcs/eptcs199.html#KafleGG15 %V 199

@inproceedings{journals/corr/KafleGG15, added-at = {2018-09-12T00:00:00.000+0200}, author = {Kafle, Bishoksan and Gallagher, John P. and Ganty, Pierre}, biburl = {https://www.bibsonomy.org/bibtex/271fff8e2f32ff65a7d2d67c7e98ff2f1/dblp}, booktitle = {VPT@ETAPS}, crossref = {journals/corr/LisitsaNP15}, editor = {Lisitsa, Alexei and Nemytykh, Andrei P. and Pettorossi, Alberto}, ee = {http://arxiv.org/abs/1512.03862}, interhash = {42d53526d364ed6b82bb1d8d216d1208}, intrahash = {71fff8e2f32ff65a7d2d67c7e98ff2f1}, keywords = {dblp}, pages = {1-14}, series = {EPTCS}, timestamp = {2024-04-09T09:30:23.000+0200}, title = {Decomposition by tree dimension in Horn clause verification.}, url = {http://dblp.uni-trier.de/db/series/eptcs/eptcs199.html#KafleGG15}, volume = 199, year = 2015 }