{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,8]],"date-time":"2025-04-08T11:26:07Z","timestamp":1744111567121},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540626886"},{"type":"electronic","value":"9783540684381"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/3-540-62688-3_42","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T22:48:30Z","timestamp":1330296510000},"page":"284-299","source":"Crossref","is-referenced-by-count":5,"title":["Outermost-fair rewriting"],"prefix":"10.1007","author":[{"given":"Femke","family":"Raamsdonk","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,3]]},"reference":[{"key":"18_CR1","doi-asserted-by":"crossref","unstructured":"Yohji Akama. On Mints' reduction for ccc-calculus. In M. Bezem and J.F. Groote, editors, Proceedings of the International Conference on Typed Lambda Calculi and Applications (TLCA '93), pages 1\u201312, Utrecht, The Netherlands, March 1993. Volume 664 of Lecture Notes in Computer Science.","DOI":"10.1007\/BFb0037094"},{"key":"18_CR2","first-page":"117","volume-title":"Handbook of Logic in Computer Science, volume 2","author":"H.P. Barendregt","year":"1992","unstructured":"H.P. Barendregt. Lambda calculi with types. In S. Abramsky, Dov M. Gabbay, and T.S.E Maibaum, editors, Handbook of Logic in Computer Science, volume 2, pages 117\u2013310. Oxford University Press, New York, 1992."},{"key":"18_CR3","doi-asserted-by":"crossref","first-page":"323","DOI":"10.1016\/0022-0000(86)90033-4","volume":"32","author":"J.A. Bergstra","year":"1986","unstructured":"J.A. Bergstra and J.W. Klop. Conditional rewrite rules: Confluence and termination. Journal of Computer and System Sciences, 32:323\u2013362, 1986.","journal-title":"Journal of Computer and System Sciences"},{"key":"18_CR4","volume-title":"Studies in Logic and the Foundations of Mathematics","author":"H. B. Curry","year":"1958","unstructured":"Haskell B. Curry, Robert Feys, and William Craig. Combinatory Logic, volume I. Studies in Logic and the Foundations of Mathematics. North-Holland Publishing Company, Amsterdam, 1958."},{"key":"18_CR5","doi-asserted-by":"crossref","unstructured":"Michael Hanus and Christian Prehofer. Higher-order narrowing with definitional trees. In Harald Ganzinger, editor, Proceedings of the 7th International Conference on Rewriting Techniques and Applications (RTA '96), volume 1103 of Lecture Notes in Computer Science, pages 138\u2013152, New Brunswick, USA, 1996.","DOI":"10.1007\/3-540-61464-8_48"},{"issue":"4","key":"18_CR6","doi-asserted-by":"crossref","first-page":"797","DOI":"10.1145\/322217.322230","volume":"27","author":"G. Huet","year":"1980","unstructured":"G\u00e9rard Huet. Confluent reductions: Abstract properties and applications to term rewriting systems. Journal of the Association for Computing Machinery, 27(4):797\u2013821, October 1980.","journal-title":"Journal of the Association for Computing Machinery"},{"issue":"4","key":"18_CR7","doi-asserted-by":"crossref","first-page":"497","DOI":"10.1093\/logcom\/1.4.497","volume":"1","author":"D. Miller","year":"1991","unstructured":"Dale Miller. A logic programming language with lambda-abstraction, function variables, and simple unification. Journal of Logic and Computation, 1(4):497\u2013536, 1991.","journal-title":"Journal of Logic and Computation"},{"key":"18_CR8","unstructured":"Richard Mayr and Tobias Nipkow. Higher-order rewrite systems and their confluence. Technical Report TUM-I9433, Technische Universit\u00e4t M\u00fcnchen, August 1994."},{"key":"18_CR9","doi-asserted-by":"crossref","unstructured":"Tobias Nipkow. Higher-order critical pairs. In Proceedings of the sixth annual IEEE Symposium on Logic in Computer Science (LICS '91), pages 342\u2013349, Amsterdam, The Netherlands, July 1991.","DOI":"10.1109\/LICS.1991.151658"},{"key":"18_CR10","doi-asserted-by":"crossref","unstructured":"Michael J. O'Donnell. Computing in Systems Described by Equations, volume 58 of Lecture Notes in Computer Science. Springer Verlag, 1977.","DOI":"10.1007\/3-540-08531-9"},{"key":"18_CR11","volume-title":"PhD thesis","author":"V. Oostrom van","year":"1994","unstructured":"Vincent van Oostrom. Confluence for Abstract and Higher-Order Rewriting. PhD thesis, Vrije Universiteit, Amsterdam, March 1994. Available at http:\/\/www.cs.vu.nl\/\u223coostrom."},{"key":"18_CR12","doi-asserted-by":"crossref","unstructured":"Vincent van Oostrom. Higher-order families. In Harald Ganzinger, editor, Proceedings of the 7th International Conference on Rewriting Techniques and Applications (RTA '96), volume 1103 of Lecture Notes in Computer Science, pages 392\u2013407, New Brunswick, USA, 1996.","DOI":"10.1007\/3-540-61464-8_67"},{"key":"18_CR13","unstructured":"Vincent van Oostrom. Personal communication, 1996."},{"key":"18_CR14","doi-asserted-by":"crossref","unstructured":"Vincent van Oostrom and Femke van Raamsdonk. Weak orthogonality implies confluence: the higher-order case. In A. Nerode and Yu.V. Matiyasevich, editors, Proceedings of the Third International Symposium on Logical Foundations of Computer Science (LFCS '94), volume 813 of Lecture Notes in Computer Science, pages 379\u2013392, St. Petersburg, July 1994.","DOI":"10.1007\/3-540-58140-5_35"},{"key":"18_CR15","volume-title":"PhD thesis","author":"F. Raamsdonk van","year":"1996","unstructured":"Femke van Raamsdonk. Confluence and Normalisation for Higher-Order Rewriting. PhD thesis, Vrije Universiteit, Amsterdam, May 1996. Available at http:\/\/www.cwi.nl\/\u223cfemke."}],"container-title":["Lecture Notes in Computer Science","Typed Lambda Calculi and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-62688-3_42.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,31]],"date-time":"2021-12-31T11:20:30Z","timestamp":1640949630000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-62688-3_42"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540626886","9783540684381"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-62688-3_42","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}