BibTeX记录日记账/tplp/GaoFK16

下载为.bib文件

@文章{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}}
服务莱布尼茨信息中心(Schloss Dagstuhl)