BibTeX记录conf/cl/DekhtyarDD00
@正在进行{DBLP:conf/cl/DekhtyarDD00， author={Michael I.Dekhtyar和 亚历山大·贾。 迪科夫斯基和 谢尔盖·杜达科夫， 编辑＝{约翰·W·劳埃德和 Ver{\'{o}}nica Dahl和 乌尔里希·富巴赫和 Manfred Kerber和 孔 {-}桥 Lau和 卡图西亚·帕拉米德斯和 卢的莫尼兹·佩雷拉和 Yehoshua Sagiv和 Peter J.Stuckey}， title={关于通过完整性约束进行更新的复杂性}， booktitle={计算逻辑-{CL}2000，第一届国际会议，伦敦， 英国，2000年7月24日至28日，诉讼}， series={计算机科学讲稿}， 体积={1861}， 页数={867--881}， publisher={Springer}， 年份={2000}， url={ https://doi.org/10.1007/3-540-44957-4 \_58}, doi={10.1007/3-540-44957-4\_58}， 时间戳={2019年9月25日星期三18:12:15+0200}， biburl={ https://dblp.org/rec/conf/cl/DekhtyarDD00.bib }， bibsource={dblp计算机科学书目， 网址：https://dblp.org } }
