提供商：Schloss Dagstuhl-莱布尼茨信息中心数据库：dblp计算机科学书目内容：文本/纯文本；charset=“utf-8”TY-CPAPER公司ID-DBLP:期刊/entcs/BonacinaE07澳大利亚-博纳西纳，玛丽亚·保拉AU-埃切宁，姆纳乔TI-递归数据结构的基于重写的可满足性过程。BT-第四届自动推理决策程序语用研讨会（PDPAR 2006）和第一届概率自动机和逻辑国际研讨会（PaUL 2006）的联合会议记录，FloC 2006部分，美国华盛顿州西雅图，2006年8月第55页EP-702006年上半年//DO-2016年10月10日/J.ENTCS.2006.11.039UR-（欧元）https://doi.org/10.1016/j.entcs.2006.11.039急诊室-