BibTeX记录日记账/tplp/GaoFK16
@文章{DBLP:journals/tplp/GaoFK16， author={高天和 保罗·福多和 迈克尔·基弗}， title={超一致性和字谜}， journal={Theory-Pract.Log.Program.}， 体积={16}， 数字={5-6}， 页数={703--720}， 年份={2016年}， url={ https://doi.org/10.1017/S1471068416000326 }, doi={10.1017/S1471068416000326}， 时间戳={2020年2月13日星期四14:39:40+0100}， biburl={ https://dblp.org/rec/journals/tplp/GaoFK16.bib }, bibsource={dblp计算机科学书目， 网址：https://dblp.org } }
