Maria Paola Bonacina和Mnacho Echenim：递归数据结构的基于重写的可满足性过程。(2006) 期刊/entcs/BonacinaE07 2016年10月10日/J.ENTCS.2006.11.039 递归数据结构的基于重写的可满足性过程。 2 玛丽亚·保拉·博纳西纳 1 Mnacho Echenim公司 2 55-70 PDPAR公司/FLoC下的PaUL PDPAR公司/FLoC下的PaUL 2006 2007 dblp记录“journals/entcs/BonacinaE07”的RDF数据的来源信息 2023-01-27T14:11:02+0100