{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期部分”：[2022,4,3]]，“日期时间”：“2022-04-03T14:49:09Z”，“时间戳”：1648997349135}，“出版商位置”：“柏林，海德堡”，“参考计数”：4，“出版者”：“施普林格-柏林-海德堡（Springer Berlin Heidelberg）”，“isbn-type”：[{“值”：“9783540629504”，“类型”：“打印”}，{“值”：“9783540690511”，“type”：“electronic”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[]，”published-print“：{”date-parts“：[1997]}，”DOI“：”10.1007\/3-540-62950-5_79“，”type“：”book-chapter“，”created“：”{“date-part”：[2012,26]]，“date-time”：“2012-02-26T22:58:07”Z“，”时间戳“：1330297087000}，”页面“：”299-307“，”源“：“Crossref”，“is-referenced-by-count”：0，“title”：[“组合词的有效约简和转换策略”]，“prefix”：“10.1007”，”author“：[{“given”：“Rick”，“family”：“Statman”，“sequence”：“first”，“affiliation”：[]}]，“member”：“297”，“published-on-line”：{“date-parts”：[[2005,6,2]}，“reference”：[{“key”：”23_CR1“unstructured”：“开放问题，公牛欧洲协会Theor Comp.Sci.，10（1980），第136\u2013140页。”}，{“key”：“23_CR2”，“unstructured”：“Barendregt，\u201cThe Lambda Calculus\u201d，North Holland，1984。”}.，{：“Bergstra&Klop，《lambda微积分预印本中的Church-Rosser策略》62，乌得勒支大学数学系，1977年7月。（出现在TCS，9（1979）pp.27\u201338.）“，”DOI“：”10.1016\/00304-3975（79）90004-5“｝，｛”key“：”23_CR4“，”系列标题“：”Ser.III，85“，”卷标题“：”lambda演算的递归项的等式Pubblicazioni dell‘Istituto per le Applicazioni del Calcolo“，”作者“：”Jacobini“，”年份“：”1978“，”非结构化“：”Jacopini&Venturini-Zilli，lambda演算Pubblicazioni dell'Istituto per le Applicazioni-del Calcolo循环项等式，Ser。三、 85，CNR，罗马，1978。“}”，“container-title”：[“重写技术和应用”，“计算机科学课堂讲稿”]，“原始标题”：[]，“链接”：[{“URL”：“http://\/link.springer.com\/content\/pdf\/10.1007\/3-540-62950-5_79.pdf”，《内容类型》：“未指定”，“内容版本”：“vor”，“intended-application”：“相似性检查”}]，“存放”：{date-parts“：[[2020,11,17]]，“date-time”：“2020-11-17T21:15:08Z”，“timestamp”：1605647708000}，“score”：1，“resource”：{“primary”：{“URL”：“http://\link.springer.com\/10.1007\/3-540-62950-5_79”}}，”subtitle“：[]，”shorttitle“：[]，”issued“：{”date-part“：[1997]]}，‘ISBN’：[”9783540629504“，”9783540690511“]，”references-count“：4，”URL“：”http:\/\/dx.doi.org\/10.1007\/3-540-62950-5_79“，”关系“：{}，”ISSN“：[”0302-9743“，”1611-3349“]，”ISSN-type“：[{”value“：”0302-7743“”，“type”：“print”}，{”value“：“1611-3399”，“类型”：“electronic”}]，“subject”：[]，“published”：{“date-parts”：[1997]]}}}}