. . . . . “Maria Paola Bonacina和Mnacho Echenim：递归数据结构的基于重写的可满足性过程。（2006）”。 . _：ID_7c6e015a18bb216d93b95a7578956aee。_：ID_7c6e015a18bb216d93b95a7578956aee ._：ID_7c6e015a18bb216d93b95a7578956aee ._：ID_7c6e015a18bb216d93b95a7578956aee ._：ID_7c6e015a18bb216d93b95a7578956aee“期刊/entcs/BonacinaE07”。 _：ID_7f723164a817136a9114d07f4b657d4b。_：ID_7f723164a817136a9114d07f4b657d4b ._：ID_7f723164a817136a9114d07f4b657d4b ._：ID_7f723164a817136a9114d07f4b657d4b ._：ID_7f723164a817136a9114d07f4b657d4b“10.1016/J.ENTCS.2006.11.039”。 “递归数据结构的基于重写的可满足性过程”。 . . . . . "2"^^. _：Sig_18ad148429011eb12ff86d9f88db6832_1。_：Sig_18ad148429011eb12ff86d9f88db6832_1 ._：Sig_18ad148429011eb12ff86d9f88db6832_1 ._：Sig_18ad148429011eb12ff86d9f88db6832_1“玛丽亚·保拉·博纳西纳”。_：Sig_18ad148429011eb12ff86d9f88db6832_1 ._：Sig_18ad148429011eb12ff86d9f88db6832_1"1"^^._：Sig_18ad148429011eb12ff86d9f88db6832_1 . _：Sig_18ad148429011eb12ff86d9f88db6832_2。_：Sig_18ad148429011eb12ff86d9f88db6832_2 ._：信号_18ad148429011eb12ff86d9f88db6832_2 ._：Sig_18ad148429011eb12ff86d9f88db6832_2“Mnacho Echenim”。_：Sig_18ad148429011eb12ff86d9f88db6832_2 ._：Sig_18ad148429011eb12ff86d9f88db6832_2"2"^^._：Sig_18ad148429011eb12ff86d9f88db6832_2 . . . . . "55-70" . “PDPAR/FLoC下的PaUL" . “PDPAR/FLoC下的PaUL" . "2006"^^. "2007"^^. . “dblp记录‘journals/entcs/BonacinaE07’的RDF数据的来源信息”。 . . . “2023-01-27T14:11:02+0100”。