BibTeX记录conf/lopstr/RobertsonA98
@在过程中{DBLP:conf/loptr/RobertsonA98， author={大卫·斯图亚特·罗伯逊和 杰姆·阿古斯特（Jaume Agust） {-}卡莱尔 }, editor={Pierre Flener}， title={逻辑程序综合中的语用学}， booktitle={逻辑编程综合与转换，第八届国际 研讨会，LOPSTR'98，英国曼彻斯特，1998年6月15日至19日，会议记录， series={计算机科学讲稿}， 体积={1559}， 页数={41--60}， publisher={Springer}， 年份={1998年}， url={ https://doi.org/10.1007/3-540-48958-4 \_3}, doi={10.1007/3-540-48958-4\3}， timestamp={2022年9月13日星期二21:45:41+0200}， biburl={ https://dblp.org/rec/conf/lopstr/RobertsonA98.bib }, bibsource={dblp计算机科学书目， 网址：https://dblp.org } }
