BibTeX记录conf/iclp/DekhtyarDS98
@在过程中{DBLP:conf/icp/DekhtyarDS98， author={Michael I.Dekhtyar和 亚历山大·贾。 迪科夫斯基和 尼古拉斯·斯皮拉托斯}， editor={德克萨斯州贾法}， title={关于逻辑合理的更新}， booktitle＝｛1998年联合国际会议和研讨会论文集 《逻辑编程》，英国曼彻斯特，1998年6月15日至19日}， 页数={250--264}， publisher={{MIT}出版社}， 年份={1998年}， timestamp={2013年12月2日星期一17:40:45+0100}， biburl={ https://dblp.org/rec/conf/iclp/DekhtyarDS98.bib }, bibsource={dblp计算机科学书目， 网址：https://dblp.org } }
