%0 Journal Article %1 journals/ngc/ChenW96 %A Chen, Weidong %A Warren, David Scott %D 1996 %J New Generation Comput. %K dblp %N 2 %P 195-236 %T Predicate Abstractions in Higher-Order Logic Programming. %U http://dblp.uni-trier.de/db/journals/ngc/ngc14.html#ChenW96 %V 14

@article{journals/ngc/ChenW96, added-at = {2011-05-25T00:00:00.000+0200}, author = {Chen, Weidong and Warren, David Scott}, biburl = {https://www.bibsonomy.org/bibtex/29e6c475e2faf50f00387a39aa6e8a2ee/dblp}, ee = {http://dx.doi.org/10.1007/BF03037499}, interhash = {6bb54a6a5ec844f26c383eac2d261060}, intrahash = {9e6c475e2faf50f00387a39aa6e8a2ee}, journal = {New Generation Comput.}, keywords = {dblp}, number = 2, pages = {195-236}, timestamp = {2011-05-26T11:38:43.000+0200}, title = {Predicate Abstractions in Higher-Order Logic Programming.}, url = {http://dblp.uni-trier.de/db/journals/ngc/ngc14.html#ChenW96}, volume = 14, year = 1996 }