摘要
1 S.Antoy和A.Middeldorp，《顺序约简策略》，《理论计算机科学》165（1），第75-95页，1996年。 谷歌学者 
数字图书馆 
2 A.Arnold和M.Nivat。 无限树的度量空间。 代数和拓扑性质，基础信息学4，第445-4761980页。 谷歌学者 三。 H.P.Barendregt、J.R.Kennaway、J.W.Klop和M.R.Sleep，《Lambda微积分所需的简化和脊椎策略，信息和计算》75（3），第191-231页，1987年。 谷歌学者 数字图书馆 4 H.Comon，序列性，二阶一元逻辑和树自动机，第十届IEEE计算机科学逻辑年度研讨会论文集，圣地亚哥，第508-5171995页。 谷歌学者 数字图书馆 5 N.Dershowitz和J.-P.Jouannaud，《重写系统：理论计算机科学手册》，第B卷（编辑J.van Leeuwen），北荷兰，第243-320页，1990年。 谷歌学者 数字图书馆 6 G.Huet和J.-J.L6vy，《正交重写系统中的计算》，I和II，收录于：计算逻辑，Alan Robinson的论文（编辑J.-L.Lassez和G.Plotkin），麻省理工出版社，第396-443页，1991年。 前一版本：《无歧义线性术语重写系统中的按需调用计算》，报告359，INRIA，1979年。 谷歌学者 7 F.Jacquemard，术语重写系统的可决定近似，第七届重写技术和应用国际会议论文集，新不伦瑞克，计算机科学1103讲稿，第362-376页，1996年。 谷歌学者 数字图书馆 8 J.R.Kennaway，《按需计算与并行性之间的冲突》，《条件词重写系统第四次研讨会论文集》，耶路撒冷，《968年计算机科学讲义》，第247-261页，1995年。 谷歌学者 数字图书馆 9 J.R.Kennawy、J.W.Klop、M.R.Sleep和F.-J.de Vries，《正交项重写系统中的超有限约简》，信息与计算119（1），第18-38页，1995年。 谷歌学者 数字图书馆 10 Z.Khasidashvili，正交项重写系统中的最佳归一化，第五届重写技术与应用国际会议论文集，蒙特利尔，计算机科学讲义690，第243-258页，1993年。 谷歌学者 数字图书馆 11 J.W.Klop，《术语重写系统》，载于：《计算机科学中的逻辑手册》第2卷（编辑S.Abramsky、D.Gabbay和T.Maibaum），牛津大学出版社，第1-116页，1992年。 谷歌学者 数字图书馆 12 L.Maranget，La Strategic Paresseuse，巴黎大学博士，1992年7月（法语）。 谷歌学者 13 M.J.O'Donnell，《方程描述的系统中的计算》，《计算机科学讲义》第58期，1977年。 谷歌学者 数字图书馆 14 M.Oyamaguchi，NV-序列性：术语重写系统中按需调用计算的决定条件，SIAM计算杂志22（1），第114-135页，1993年。 谷歌学者 数字图书馆 15 R.C.Sekar和I.V.Ramakrishnan，《等式逻辑编程：超越强序列、信息和计算》104（1），第78-109页，1993年。 谷歌学者 数字图书馆
建议
项重写中可确定的按需调用计算 Huet和Levy的定理指出，对于正交重写系统，（i）每个可约项都包含一个所需的redex，（ii）如果所考虑的项具有正规形式，则所需redex的重复收缩会导致正规形式。。。 针对按需调用的小步和大步语义 我们提出了非循环和循环按需调用lambda计算的自然语义，证明了它们与Ariola和Felleisen给出的约简语义等价( J.功能。 程序。 ，第7卷，第3期，1997年）。 自然语义是大步。。。
