{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期-部件”：[[2022,4,5]]，“日期-时间”：“2022-04-05T06:27:47Z”，“时间戳”：1649140067979}，“引用-计数”：24，“发布者”：“爱思唯尔BV”，“问题”：“1”，“许可证”：[{“开始”：{-“日期-零件”：[[1998,2,1]]，”日期-时间“：”1998-02-01T00:00:00Z“，”时间戳“：886291200000}，“content-version”：“tdm”，“delay-in-days”：0，“URL”：“https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/”}，{“start”：{“date-parts”：[[2013,7,17]]，“date-time”：“2013-07-17T00:00:00Z”，“timestamp”：1374019200000}，“content-version”：“vor”，“delay-in-days”：5645，“URL”：“http://\/www.elsevier.com/”/open-access\/userlicense\/1.0\/“}]，”内容域“：{”域“：[]，“crossmark-restriction”：false}，“short-container-title”：[“Theory Computer Science”]，“published-print”：{“date-parts”：[[1998,2]}，”DOI“：”10.1016\/s0304-3975（97）00144-8“，”type“：”journal-article“，”created“：{”date-part“：[[2002,7,25]]，”date-time“：”2002-07-25T09:38:06Z“，”timestamp“：1027589886000}“page”：“31-54”，“source“：”Crossref“，“is-referenced-by-count”：0，“title”：[“模块化中的气泡”]，“prefix”：“10.1016”，“volume”：“192”，“author”：[{“给定”：“Massimo”，“family”：“Marchiori”，”sequence“：”first“，”affiliation“：[]}]，“member”：“78”，“reference”：[}“key”：”10.1016\/S0304-3975（97）00144-8_BIB1“，”first page“243”，“article-title”：“重写系统”“，”卷“：”卷B“，”作者“：”德肖维茨“，“年份”：“1990”}，{“key”：“10.1016\/S0304-3975（97）00144-8_BIB2”，“series-title”：“Proc.4th Internat.Conf.on Rewriting Techniques and Applications”，“first page”：”445“，“article-title”：”重写中的开放问题“，”volume“488”，“author”：“Dershowitz”，“year”：“1991”}asserted-by“：”crossref“，“首页”：“131”，“DOI”：“10.1007\/BF01190827”，“文章标题”：“重写模块终止的广义充分条件”，“卷”：“5”，“作者”：“Gramlich”，“年份”：“1994”，“日记标题”：”Appl.Algebra Ens.Comm.Compute.“}，{”key“：”10.1016\/S0304-3975（97）00144-8_BIB4“，”首页“：”1“，”文章标题“术语重写系统”，“卷标”：“vol.2”，“author”：“Klop”，“year”：“1992”}，{“issue”：“2”，“key”：“10.1016\/S0304-3975“，”journal-title“：”Inform.Process.Lett.“}，{”key“：“10.1016\/S0304-3975（97）00144-8_BIB6”，“article-title”：“演绎推理”，“卷”：“卷1”，“作者”：“Manna”，“年份”：“1985”}，{“key”：“10.106\/S0304-3975 \/S0304-3975（97）00144-8_BIB8“，“series-title”：“Proc.6th Internat.Conf.on Rewriting Techniques and Applications”，“first page”：“2”，“article-title”：《重新审视完整性的模块性》，“volume”：《第914卷》，“author”：“Marchiori”，“year”：“1995”}，{“key”：（10.1016\/S0304-3975（97）00144-8_BIB9），“doi-asserted-by”：“crossref”，《article-title》：“The theory of baventies”，“auder”：“马尔奇奥里”，“year”：“1995”，“DOI”：“10.1007\/3-540-63165-8_220”}，{“issue”：“2”，“key”：“101016\/S0304-3975（97）00144-8_BIB10”，“DOI-asserted-by”：“crossref”，“first-pages”：“143”，”DOI“：“10.1006\/jsco.1996.0045”，“article-title”：“On the modularity of normal forms in rewriting”，“volume”：”22“，”author“：”Marchiori“，”year“：“1996”，“journal-title”：“J.符号计算”}，{“key”：“10.1016\/S0304-3975（97）00144-8_BIB11”，“article-title”：“本地分析和本地化”，“author”：“Marchiori”，“year”：“1997”}，{“key”：“10.12016\/S00304-397五（97）0.0144-8_BAB12”，“series-title”：《Proc.24th Internat.Coll.on Automata，Languages，and Programming（ICALP）》，“首页”：“660”，“article-titel”：“疫苗理论”，“卷”：“vol.1256英寸，“author”：“Marchiori”，“year”：“1997”}，{“key”：“10.1016\/S0304-397500144-8_BIB14“，“article-title”：“术语重写系统的模块化属性”，“author”：“Middeldorp”，“year”：“1990”}，{“key”：“10.1016\/S0304-3975（97）00144-8-BIB15_1”，”doi-asserted-by“：”crossref“，”article-title“：”可组合术语重写系统模块化属性“，”author“：”Ohlebusch“，”year“：”1994“，”doi“：”10.1006\/jsco.1995.1036“}，“key“：”10.1016\/S0304-3975（97）00144-8_BIB15_2“，”unstructured“：”Appeared as Tech.Report 94-01.“}，{”issue“：”2“，”key“：”10.1016\\S0304-397（97）0.0144-8_BAB16“，”doi-asserted-by“：”crossref“，”first page“：“136”，“作者”：“Ohlebusch”，“年份”：“1994年”，“新闻标题”：“理论。计算。科学。“}，{”key“：”10.1016\/S0304-3975（97）00144-8_BIB17“，”doi-asserted-by“：”crossref“，”first-pages“：”65“，”doi“：”101016\/0020-0190（87）90039-1“，”article-title“：”终止术语重写系统的直接和“，”volume“：2“，“键”：“10.1016\/S0304-3975（97）00144-8_BIB18“，”doi-asserted-by“：”crossref“，”first page“：”361“，”doi“：”10.1016\/0304-3975（95）00080-G“，“article-title”：“r-consistent and left-linear term rewriting systems的模块化终止”，“volume”：“149”，“author”：“Schmidt-Schau00df”，”year“1995”，“journal-title“：”Theoret。计算。科学。“}，{”key“：”10.1016\/S0304-3975（97）00144-8_BIB19“，”doi-asserted-by“：”crossref“，”first page“：“141”，“doi”：“10.1016\/0020-0190（87）90122-0”，”article-title“：”term重写系统的直接和的终止反例“，”volume“：25”，“author”：“Toyama”，“year”：“1987”，“journal-title”：“Inform.Process.Lett.”}，”{“issue”：“34”，“键”：“10.1016\/S0304-3975（97）00144-8_BIB20“，”doi-asserted-by“：”crossref“，”first page“：”128“，”doi“：”10.1145\/7531.7534“，”article-title“：”On the Church-Rosser property for the direct sum of term rewriting systems“，”volume“：“1”，“author”：“Toyama”，“year”：“1987”，“journal-title”：“J.ACM”}，{“key”：“10.1016//S0304-397（97）001 44-8_IB 21_1“，”series-title“：”程序。第三国际。重写技术与应用会议”，“首页”：“477”，“文章标题”：“左线性项重写系统直和的终止”，“卷”：“第355卷”，“作者”：“富山”，“年份”：“1989”}，{“key”：“10.1016\/S0304-3975（97）00144-8_BIB21_2”，“series-title”：“Proc.3rd Internat.Conf.on Rewriting Techniques and Applications”，“首页“：”477“，”article-title“：”终止左线性项重写系统的直接和“，”volume“：”vol.355“，”author“：”Toyama“，”year“：”1989“}，{“issue”：“6”，”key“：“10.1016\/S0304-3975（97）00144-8_BIB22”，“doi-asserted-by”：“crossref”，“first page”：“1275”，“doi”：“10.1145\/227683.227689”，“article-title”：“”左线性完全项重写系统的直接和终止”，“volume”：“42”，“author”：“Toyama”，“year”：“1995”，“journal-title”：“J.ACM”}]，“container-title“：[”Theoryal Computer Science“]，“original-title:[]，“language”：“en”，“link”：[{“URL”：“https:\/\/api.elsevier.com/content\/article\/PII:S0304397597001448？httpAccept=text\/xml”，“content type“：”text\/xml“，”content version“：”vor“，”预期应用程序“：”text mining“｝，｛”URL“：”https:\/\/api.elsevier.com/content\/article\/PII:S030439597001448？httpAccept=text\/plain“，”content type“：”text\/plain“，”content version“：”vor“，”预期应用程序“：”text mining“｝]，”deposited“：｛”日期部分“：[[2019,4,29]，”日期时间“：”2019-04-29T03:26:12Z“，”timestamp“：1556508372000}，”score“：1，”resource“：{”primary”：{“URL”：“https:\/\/linkinghub.elsevier.com/retrieve\/pii\/S0304397597001448”}}，“subtitle”：[]，“shorttitle”：[]，“issued”：“：{”date-parts“：[[1998,2]}}，”alternative-id“：[”S0304397597001448“]，“URL”：“http:\/\/dx.doi.org/10.1016/s0304-3975（97）00144-8”，“relation”：｛｝，“ISSN”：[“0304-3975”]，“ISSN type”：[｛“value”：“0304-3975”，“type”：“print”｝]，“subject”：[]，“published”：｛“date parts”：[[1998,2]]｝｝