%0 Conference Paper %1 conf/plilp/ChenW91 %A Chen, Weidong %A Warren, David Scott %B PLILP %D 1991 %E Maluszynski, Jan %E Wirsing, Martin %I Springer %K dblp %P 287-298 %T Compilation of Predicate Abstractions in Higher-Order Logic Programming. %U http://dblp.uni-trier.de/db/conf/plilp/plilp91.html#ChenW91 %V 528 %@ 0-387-54444-5

@inproceedings{conf/plilp/ChenW91, added-at = {2017-05-19T00:00:00.000+0200}, author = {Chen, Weidong and Warren, David Scott}, biburl = {https://www.bibsonomy.org/bibtex/230347c9eae55e6f7e06cb954afbc4045/dblp}, booktitle = {PLILP}, crossref = {conf/plilp/91}, editor = {Maluszynski, Jan and Wirsing, Martin}, ee = {https://doi.org/10.1007/3-540-54444-5_106}, interhash = {e3c094bc52f90c9d1548e86e1bedeee1}, intrahash = {30347c9eae55e6f7e06cb954afbc4045}, isbn = {0-387-54444-5}, keywords = {dblp}, pages = {287-298}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2020-07-24T00:59:54.000+0200}, title = {Compilation of Predicate Abstractions in Higher-Order Logic Programming.}, url = {http://dblp.uni-trier.de/db/conf/plilp/plilp91.html#ChenW91}, volume = 528, year = 1991 }