%0 Conference Paper %1 conf/iclp/XuW88 %A Xu, Jiyang %A Warren, David Scott %B ICLP/SLP %D 1988 %E Kowalski, Robert A. %E Bowen, Kenneth A. %I MIT Press %K dblp %P 604-619 %T A Type Inference System for Prolog. %U http://dblp.uni-trier.de/db/conf/iclp/iclp88.html#XuW88 %@ 0-262-61056-6

@inproceedings{conf/iclp/XuW88, added-at = {2013-11-29T00:00:00.000+0100}, author = {Xu, Jiyang and Warren, David Scott}, biburl = {https://www.bibsonomy.org/bibtex/2062bdc24413407acd06c4e6f30fa9669/dblp}, booktitle = {ICLP/SLP}, crossref = {conf/iclp/1988}, editor = {Kowalski, Robert A. and Bowen, Kenneth A.}, interhash = {4c71734d0c5727846425fd1780c6129b}, intrahash = {062bdc24413407acd06c4e6f30fa9669}, isbn = {0-262-61056-6}, keywords = {dblp}, pages = {604-619}, publisher = {MIT Press}, timestamp = {2018-06-26T11:38:45.000+0200}, title = {A Type Inference System for Prolog.}, url = {http://dblp.uni-trier.de/db/conf/iclp/iclp88.html#XuW88}, year = 1988 }