提供商：Schloss Dagstuhl-莱布尼茨信息中心数据库：dblp计算机科学书目内容：文本/纯文本；charset=“utf-8”TY-JOUR公司ID-DBLP:日记账/tplp/GaoFK16AU-高，田田AU-保罗·福多AU-迈克尔·基弗超一致性和字谜。JO-理论实践。日志。程序。VL-16IS-5-6标准SP-703型EP-7202016年上半年//DO-10.1017/S1471068416000326UR-（欧元）https://doi.org/10.1017/S1471068416000326急诊室-