提供商：Schloss Dagstuhl-莱布尼茨信息中心数据库：dblp计算机科学书目内容：文本/纯文本；charset=“utf-8”TY-CPAPER公司ID-DBLP:期刊/entcs/BonacinaE07a澳大利亚-博纳西纳，玛丽亚·保拉AU-埃切宁，姆纳乔TI-基于重写的决策程序。BT-第六届自动推理策略国际研讨会论文集，IJCAR战略2006年，2006年8月16日，美国华盛顿州西雅图，部分PLoC 2006SP-27EP-452006年上半年//DO-2016年10月10日/J.ENTCS.2006.11.042UR-（欧元）https://doi.org/10.1016/j.entcs.2006.11.042急诊室-