{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2022,12,31]]，“日期时间”：“2022-12-31T19:55:56Z”，“时间戳”：1672516556783}，“出版商位置”：“柏林，海德堡”，“参考计数”：30，“出版者”：“施普林格-柏林-海德堡（Springer Berlin Heidelberg）”，“isbn-type”：[{“值”：“9783540614630”，“类型”：“打印”}，{“值”：“9783540685951”，“type”：“electronic”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[]，”published-print“：{”date-parts“：[[1996]]}，”DOI“：”10.1007\/bfb0014328“，”type“：”book-capter“，”created“：”{“date-part”：[2005,11,23]]，“date-time”：“2005-11-23T09:04:25Z”，“时间戳”：1132736665000}，“页面”：“375-390”，“源”：“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,6,9]]}，“reference”：[{“key”：“27_CR1”，《首页》：“114”，“卷”：“761”，“作者”：“G.Aguzzi”，“年份”：“1993年”，“非结构化”：“G.Aguzzy和U.Modigliani。通过将逻辑程序转换为等价项重写系统来证明逻辑程序的终止。FST&TCS，LNCS 761，pp.114\u2013124。1993年。“，”journal-title“：”FST&TCS，LNCS“}，{“key”：“27_CR2”，“first page“：”43“，”volume“：“864”，“author”：“A.Aiken”，“year”：“1994”，“unstructured”：“A.Aiken和T.K.Lakshman。逻辑程序的定向类型检查。SAS Proc.of SAS，LNCS864，第43\u201360页，1994。”，“journal-title”：“LNCS”}，}“key:”27_CR3“，”doi-asserted-by“：“crossref”，“非结构化”：“K.R.Apt和S.Etalle。关于统一自由Prolog程序。程序MFCS LNCS 711，第1\u201319页。Springer，1993.“，”DOI“：”10.1007\/3-540-57182-5_1“}，{“key”：“27_CR4”，“DOI-asserted-by”：“crossref”，“unstructured”：“K.R.Apt和D.Pedreschi.证明通用Prolog程序的终止。在Proc TACS中，LNCS 526，第265\u2013289页。Springer-Verlag，1991年。“，“DOI”：“10.1007\/3-540-54415-1_50”}，{“key”：“27_CR5”，“DOI-asserted-by”：“crossref”，“unstructured”：“T.Arts和H.Zantema.使用语义统一终止逻辑程序。第5版LoPSTr，LNCS.1996。出现。“，”DOI“：”10.1007\/3-540-60939-3_17“}，{”key“：”27_CR6“，”DOI-asserted-by“：”crossref“，”first page“：“1”，“DOI”：“10.1016\/0743-1066（92）90045-5”，“volume”：“14”，“author”：“M.Baudinet”，“year”：“1992”，“unstructured”：“M.Baudine。Prolog程序终止属性的证明：语义方法。逻辑编程杂志，14:1\u2013291992。”，“，”journal-title“：《逻辑编程杂志》}，{“key”：“27_CR7”，“unstructured”：“F.Bronsard、T.K.Lakshman和U.S Reddy。证明逻辑程序终止的方向性框架。JICSLP，pp.321\u2013335。麻省理工学院出版社，1992年。“}，{“key”：“27_CR8”，“unstructured”：“M.Chtourou和M.Rusinovitch.M\u00e9方法转换nelle pour la preuve de terminaison des programmes logiques.手稿，1993年。”}，“{”key：“27-CR9”，“非结构化”：“K.L.Clark和S.-\u00c5。电话\u00e4rnlund。数据和程序的一阶理论。作者：B.Gilchrist，编辑，Proc。IFIP信息处理大会，第939\u20139441977页。“}，{”key“：”27_CR10“，”doi-asserted-by“：”crossref“，”unstructured“：”H.Coelho和J.C.Cotta.Prolog by Example。Springer-Verlag，1988年。“，”doi“：”10.1007\/978-3642-83213-0“}”，{“key”：“27_CR11”，“doi-assert-by”：“Crosref”，“unstructure”：“L.Colussi，E.Marchiori，and M.Marchiori。约束逻辑程序终止时。程序中。CP’95，LNCS 976，第431页\u2013448。Springer，1995.“，“DOI”：“10.1007\/3-540-60299-2_26”}，{“key”：“27_CR12”，“unstructured”：“T.Conway，F.Henderson，and Z.Somogyi.Mercury的代码生成。国际逻辑编程研讨会，第242_u2013256页。麻省理工学院出版社，1995年。“}，{”键“：”27_CR13“，”doi-asserted-by“：”crossref“，”first page“：”199“，“doi”：“10.1016\/0743-1066（94）90027-2”，“volume”：“19”，“author”：“D.Schreye de”，“year”：“1994”，“unstructured”：“D.de Schreye和S.Decorte。逻辑程序的终止：永无止境的故事。逻辑编程杂志，19,20:1994\u2013260，1994。”，“journal-title“：《逻辑编程杂志》}，{“issue”：“3”，“key”：“27_CR14”，“doi-asserted-by”：“crossref”，“first-pages”：“418”，“doi”：“10.1145\/65979.65983”，“volume”：《11》，“author”：“S.K.Debray”，“year”：“1989”，“unstructured”：“S.K.Debray。逻辑程序中模式和数据依赖性的静态推断。ACM TOPLAS，11（3）：418\u20134501989年7月。”，“journal-title“：”ACM TOPLAS“}，{”key“：”27_CR15“，”doi-asserted-by“：”crossref“，”first page“：“69”，“doi”：“10.1016\/S0747-7171（87）80022-6”，“volume”：“3”，“author”：“N.Dershowitz”，“year”：“1987”，“unstructured”：“N.Dersshowitz.终止重写。符号计算杂志，3:69\u2013116，1987。”，“journal-title”：“符号计算杂志”}，{“键”：“27_CR16“，”doi-asserted-by“：”crossref“，”unstructured“：”N.Dershowitz和C.Hoot。终止主题。第五届RTA会议记录，LNCS 690，第198\u2013212页。施普林格，1993.”，“DOI”：“10.1007\/3-540-556868-9_16”}，{“key”：“27_CR17”，“DOI断言”：“crossref”，“非结构化”：“N.Dershowitz和J.Jouannaud。重写系统。理论计算机科学手册，B卷，第6章，第243\u2013320页。Elsevier-MIT出版社，1990年。“，“DOI”：“10.1016\/B978-0-444-88074-1.50011-1”}，{“key”：“27_CR18”，“DOI-asserted-by”：“crossref”，“unstructured”：“N.Franchez，O.Grumberg，S.Katz，and A.Pnueli。Prolog程序终止的证明。R.Parikh，程序逻辑编辑，第89\u2013105页。施普林格，1985年。”，“DOI”：“10.1007\/3-540-15648-8_8”}，{“key”：“27_CR19”，“DOI断言”：“crossref”，“非结构化”：“H.Ganzinger和U.Waldmann。通过条件重写系统的良好模式逻辑程序的终止证明。CTRS'92，LNCS 656，pp.216\u2013222。Springer，1993年。“，“DOI”：“10.1007\/3-540-56393-8_34”}，{“key”：“27_CR20”，“unstructured”：“G.Levi和F.Scozzari.对确定性逻辑程序存在终止理论的贡献。GULP-PRODE'95，pp.631\u2013642。1995.“}，{”key“：”27_CR21“，”doi-asserted-by“：”crossref“，”unstructured“：”J.W.Lloyd.Foundations of Logic Programming。Springer-Verlag，第二版，1987年。“，”doi“：”10.1007\/978-3642-83189-8“}”，{“key”：“27_CR22”，“doi-assert-by”：“crossref.”，“unstructure”：“E.Marchiori”。证明一般逻辑程序终止的实用方法。《人工智能研究杂志》，1996年。出现。“，”DOI“：”10.1613\/jair.198“}，{“key”：“27_CR23”，“DOI-asserted-by”：“crossref”，“unstructured”：“M.Marchiori.作为术语重写系统的逻辑程序.代数和逻辑编程第三国际会议录，LNCS 850，pp.223\u2013241。Springer，1994.“，“DOI”：“10.1007\/3-540-58431-5_16”}，{“key”：“27_CR24”，“unstructured”：“M.Marchiori.通过匹配方向实现统一自由的本地化。国际逻辑编程研讨会，第392\u2013406页。麻省理工学院出版社，1994年。“}，{”key“：”27_CR25“，”doi-asserted-by“：”crossref“，”unstructured“：”M.Marchiori.逻辑编程的功能方面。《美国计算机学会FPCA》，第55\u201365页。ACM出版社，1995年。“，“DOI”：“10.1145\/224164.224181”}，{“key”：“27_CR26”，“unstructured”：“K.Rao，D.Kapur，and R.K.Shyamasundar。证明逻辑程序终止的转换方法。第五届CSL，LNCS 626，pp.213\u2013226，Springer，1992年。”}、{“key”：《27_CR27》，“DOI-asserted-by”：“crossref”，“非结构化”：“K Rao，P.K.Pandya，and R.K。Shyamasunder。开发可证明正确的编译器时的验证工具。FME’93，LNCS 670，第442页\u2013461。Springer，1993.“，”DOI“：”10.1007\/BFb0024661“}，{“key”：“27_CR28”，“unstructured”：“Y.Rouzaud和L.Nguyen-Poung。将模式和子类型集成到Prolog类型检查器中。在JICSLP程序中，第85\u201397页。麻省理工学院出版社，1992年。“}，{“key”：“27_CR29”，“unstructured”：“L.Sterling和E.Shapiro。Prolog的艺术。麻省理学院出版社，1986年。”}，}“issue”：“1”，“key“：”27_CR30“，“doi-asserted-by“：”crossref“，”first page“：“1 Wang和R.K。什亚马桑达尔。一种证明逻辑程序终止的方法。《逻辑编程杂志》，21（1）：1\u201330，1994年。“，”Journal-title“：”Journal of Logic Programming“}]，”container-title”：[“代数方法与软件技术”，“计算机科学课堂讲稿”]，”original-title:[]，”link“：[{”URL“：”http://\/link.springer.com\/content\/pdf\/10.10007\/BFBb0014328“，”content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[[2019,4,7]]，”date-time“：”2019-04-07T12:38:23Z“，”timestamp“：1554640703000}，”score“：1，”resource“：{primary”：{“URL”：“http://\link.springer.com/10.1007\/BFBb0014328”}，“副标题”：[]，“短标题”：[]，“已发布”：{“日期部分”：[1996]]}，“ISBN”：[“9783540614630“，”9783540685951“]，”references-count“：30，”URL“：”http://\/dx.doi.org\/10.1007\/bfb0014328“，”relation“：{}，”ISSN“：[”0302-9743“，”1611-3349“]，“ISSN-type”：[{“value”：“0302-974”，“type”:“print”}，{“value”：“1611-3399”，“type”：“electronic”}]，“subject”：[]，“published”：{“日期部分”：[1996]}}}