提供商：Schloss Dagstuhl-莱布尼茨信息中心数据库：dblp计算机科学书目内容：文本/纯文本；charset=“utf-8”TY-JOUR公司ID-DBLP:日志/mst/DemirciSY15AU-德米尔西，H.GökalpAU-说，A.C.CemAU-亚卡里尔马兹，阿布泽尔TI-辩论检查的复杂性。JO-理论计算。系统。VL-57IS-1标准SP-36EP-802015年上半年//DO-2007年10月10日/S00224-014-9547-7UR-（欧元）https://doi.org/10.1007/s00224-014-9547-7急诊室-