{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期部分”：[2022,3,31]]，“日期时间”：“2022-03-31T02:30:55Z”，“时间戳”：1648693855385}，“出版商位置”：“柏林，海德堡”，“参考计数”：15，“出版者”：“施普林格-柏林-海德堡（Springer Berlin Heidelberg）”，“isbn-type”：[{“值”：“9783540584315”，“类型”：“打印”}，{“值”：“9783540487913”，“type”：“electronic”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[]，”published-print“：{”date-parts“：[[1994]]}，”DOI“：”10.1007\/3-540-58431-5_16“，”type“：”book-capter“，”created“：”{“date-part”：[2012,2,26]]，“date-time”：“2012-02-26T16:06:25”Z“，”时间戳“：1330272385000}，”页面“：”223-241“，”源“：“Crossref”，“is-referenced-by-count”：9，“title”：[“逻辑程序作为术语重写系统”]，“prefix”：“10.1007”，”author“：[{”given“：”Massimo“，”family“：”Marchiori“，”sequence“：”first“，”affiliation“：[]}]，”member“：”297“，”published-online“：{”date-parts“：[[2005,30]]}，”reference“：[}”key“：“16_CR1”，ref“，”非结构化“：”K.R。Apt和S.Etalle。关于统一自由Prolog程序。S.Sokolowski，编辑，MFCS’93，LNCS，pp.1\u201319。Springer，1993年。“，”DOI“：”10.1007\/3-540-57182-5_1“}，{“key”：“16_CR2”，“DOI-asserted-by”：“crossref”，“unstructured”：“G.Aguzzi和U.Modigliani。通过将逻辑程序转换为等价项重写系统来证明逻辑程序的终止。FST&TCS'93，LNCS。Springer（1993年）”，“DOI”：“10.1007\-3-540-57529-4_47”}，“key“：”16_CR3“，”DOI-assert-by“：”crossref“，”unstructured“：”K.R.Apt.逻辑编程。J.van Leeuwen，编辑，《理论计算机科学手册》，B卷，第10章，第495\u2013574页。Elsevier \u2014麻省理工学院出版社，1990年。“，“DOI”：“10.1016\/B978-0-444-88074-1.50015-9”}，{“key”：“16_CR4”，“unstructured”：“F.Bronsard，T.K.Lakshman，and U.S Reddy。证明逻辑程序终止的方向性框架。收录于K.R.Apt，编辑，JICSLP’92，第321\u2013335页。麻省理工学院出版社，1992年。“}，{”key“：”16_CR5“，”first page“：“69”，“volume”：“3”，“author”：“N.Dershowitz”，“year”：“1987”，“unstructured”：“N.Dershawitz.终止重写。JSC，3:69\u2013116，1987。”，“journal-title”：“JSC”}，}“key”：《16_CR6》，“doi-asserted-by”：“crossref”，“非结构化”：“M.Dersshowitz and J。佐旺诺德。重写系统。J.van Leeuwen，编辑，《理论计算机科学手册》，B卷，第6章，第243\u2013320页。Elsevier \u2014麻省理工学院出版社，1990.”，“DOI”：“10.1016\/B78-0-444-88074-1.50011-1”}，｛“key”：“16_CR7”，“非结构化”：“P.Dembinski和J.Maluszy\u0144ski。带注释逻辑程序的智能回溯与并行。ILPS’85，pp.29\u2013381985.”｝，｛“key”：“16_CR8”，“DOI由”断言：“crossref”，“非结构化”：“H.Ganzinger和U。沃尔德曼。通过条件重写系统证明良好模式逻辑程序的终止。在M.Rusinowitch和J.L R\u00e9my，编辑，CTRS'92，pp.216\u20132221992年7月。”，“DOI”：“10.1007\/3-540-556393-8_34”｝，｛“key”：“16_CR9”，“first page”：“1”，“volume title”：“Handbook of Logic In Computer Science，volume 2”，“author”：“J.VV.Klop”，“year”：“1992”，“nonstructured”：“J.VV.Klop。术语重写系统。在S.Abramsky，Dov M.Gabbay和T.S.E。Maibaum，编辑，《计算机科学逻辑手册》，第2卷，第1章，第1\u2013116页。克拉伦登出版社，牛津，1992年。“}，{“key”：“16_CR10”，“series-title”：“LNCS第626卷”，“首页”：“213”，“Volume-title”：《CSL’92》，“author”：“M.R.K.K.Krish K.Rao”，“year”：“1992”，“unstructured”：“M.R.K.Krishna Rao，D.Kapur，and R.K。什亚马桑达尔。一种证明逻辑程序终止的转换方法。在1992年CSL，LNCS第626卷，第213\u2013226页，柏林，1992年。斯普林格。“}，{”key“：”16_CR11“，”doi-asserted-by“：”crossref“，”unstructured“：”J.W.Lloyd.Foundations of Logic Programming。Springer，第二版，1987年。“，”doi“：”10.1007\/978-3642-83189-8“}”，{“key”：“16_CR12”，“volume-title”：“硕士论文”，“author”：“M.Marchiori”，“year”：“1993”，“unstructure”：“M.Marchioli”。逻辑编程、匹配和术语重写系统。意大利帕多瓦大学纯粹与应用数学系硕士论文，1993年7月。用意大利语。“}，{”key“：”16_CR13“，”unstructured“：”M.Marchiori.通过匹配方向实现统一自由的本地化。提交日期：1994年3月volume-title“：“逻辑程序的终止”，“author”：“R.K.Shyamasundar”，“year”：“1990”，“unstructured”：“R K.Shiamasundar，M.R.K.Krishna Rao和D.Kapur。逻辑程序的终止。塔塔基础研究所计算机科学小组，印度孟买，1990年。修订版：重写逻辑程序终止研究中的概念，ALPUK，1992年。“}]，“容器-时间”：[“代数和逻辑编程”，“计算机科学课堂讲稿”]，“原始标题”：[]，“链接”：[{“URL”：“http://\/link.springer.com/content\/pdf\/10.1007\/3-540-58431-5_16.pdf”，“内容-类型”：“未指定”，“content-version”：“vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[2021,12,31]]，”date-time“：”2021-12-31T07:16:20Z“，”timestamp“：1640934980000}，”score“：1，”resource“：”primary“：”{“URL”：“http://\link.springer.com\/10007\/3-540-58431-5_16”}}，“subtitle”：[]，“shorttitle”：[]，“issued”：{“date-part”“：[[1994]]}，”ISBN“：[”9783540584315“，”9783540487913“]，”references-count“：15，”URL“：”http://\/dx.doi.org\/10.1007\/3-540-58431-5_16“，”关系“：{}，”ISSN“：[”0302-9743“，”1611-3349“]，“ISSN-type”：[{“value”：“0302-974”，”type“：”print“}，{“value”：“1611-3399”，”类型“：”electronic“}]，”subject“：[]，”published“：{”date-parts“：[1994]}}}”