%0 Conference Paper %1 conf/slp/ChenKW89 %A Chen, Weidong %A Kifer, Michael %A Warren, David Scott %B NACLP %D 1989 %E Lusk, Ewing L. %E Overbeek, Ross A. %I MIT Press %K dblp %P 1090-1114 %T HiLog: A First-Order Semantics for Higher-Order Logic Programming Constructs. %U http://dblp.uni-trier.de/db/conf/slp/slp89.html#ChenKW89 %@ 0-262-62064-2

@inproceedings{conf/slp/ChenKW89, added-at = {2013-12-04T00:00:00.000+0100}, author = {Chen, Weidong and Kifer, Michael and Warren, David Scott}, biburl = {https://www.bibsonomy.org/bibtex/26c44562055dac494a7694c10b3998b1e/dblp}, booktitle = {NACLP}, crossref = {conf/slp/1989}, editor = {Lusk, Ewing L. and Overbeek, Ross A.}, interhash = {da6c853231ee1d5f0d51ce3f75c22f79}, intrahash = {6c44562055dac494a7694c10b3998b1e}, isbn = {0-262-62064-2}, keywords = {dblp}, pages = {1090-1114}, publisher = {MIT Press}, timestamp = {2013-12-05T11:35:58.000+0100}, title = {HiLog: A First-Order Semantics for Higher-Order Logic Programming Constructs.}, url = {http://dblp.uni-trier.de/db/conf/slp/slp89.html#ChenKW89}, year = 1989 }