{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T19:48:22Z","timestamp":1762458502778},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540643012"},{"type":"electronic","value":"9783540697213"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/bfb0052357","type":"book-chapter","created":{"date-parts":[[2006,6,7]],"date-time":"2006-06-07T05:31:11Z","timestamp":1149658271000},"page":"2-16","source":"Crossref","is-referenced-by-count":13,"title":["Simultaneous critical pairs and Church-Rosser property"],"prefix":"10.1007","author":[{"given":"Satoshi","family":"Okui","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2006,5,18]]},"reference":[{"key":"2_CR1","unstructured":"G. Boudol: Computational Semantics of Term Rewriting Systems, In M. Nivat and J.C. Reynolds, eds., Algebraic Method in Semantics, pp.169\u2013236, Cambridge University Press (1985)."},{"key":"2_CR2","unstructured":"N. Dershowitz and J.-P. Jouannaud: Rewrite Systems, In J. van Leeuwen, ed., Handbook of Theoretical Computer Science, Vol.B, pp.243\u2013320, The MIT Press (1990)."},{"key":"2_CR3","unstructured":"N. Dershowitz, J.-P. Jouannaud, and J. W. Klop: Open Problems in Rewriting, In Proceedings of RTA-91 (LNCS 488), pp.445-456, Springer (1991)."},{"key":"2_CR4","unstructured":"B. Gramlich: Confluence without termination via parallel critical pairs, In Proceedings of CAAP-96 (LNCS 1059), pp.211\u2013225, Springer (1996)."},{"key":"2_CR5","doi-asserted-by":"publisher","first-page":"797","DOI":"10.1145\/322217.322230","volume":"27","author":"G. Huet","year":"1980","unstructured":"G. Huet: Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems, JACM, 27, pp.797\u2013821, 1980.","journal-title":"JACM"},{"key":"2_CR6","unstructured":"G. Huet and J.J. L\u00e9vy: Computations in Orthogonal Rewrite Systems, I and II, In J.-L. Lassez and G. Plotkin, eds., Computational Logic, Essays in Honor of Alan Robinson, pp.396\u2013443, MIT Press, 1991."},{"key":"2_CR7","unstructured":"J. W. Klop: Term Rewriting Systems, In S. Abramsky, D.M. Gabbay, and T.S.E. Maibaum, eds., Handbook of Logic in Computer Science, Vol.2, pp.2\u2013116, Oxford University Press (1992)."},{"key":"2_CR8","unstructured":"J. W. Klop: Combinatory Reduction Systems, Ph.D. Thesis, Rijksuniversiteit Utrecht (1980)."},{"key":"2_CR9","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1016\/0304-3975(93)90091-7","volume":"121","author":"J. W. Klop","year":"1993","unstructured":"J. W. Klop, V. van Oostrom and F. van Raamsdonk: Combinatory Reduction Systems, Introduction and Survey, TCS 121, pp.279\u2013308 (1993)","journal-title":"TCS"},{"key":"2_CR10","doi-asserted-by":"publisher","first-page":"258","DOI":"10.1145\/357162.357169","volume":"4","author":"A. Martelli","year":"1982","unstructured":"A. Martelli and U. Montanari: An Efficient Unification Algorithm, ACM Trans. on Programming languages and Systems, 4, pp.258\u2013282 (1982).","journal-title":"ACM Trans. on Programming languages and Systems"},{"key":"2_CR11","unstructured":"R. Mayr and T. Nipkow: Higher-Order Rewrite Systems and Their Confluence, http:\/\/www4. informatik.tu-muenchen.de\/nipkow\/pubs\/hrs.html, To appear in TCS."},{"key":"2_CR12","unstructured":"A. Middeldorp: Personal Communication (1997)."},{"key":"2_CR13","doi-asserted-by":"crossref","unstructured":"T. Nipkow: Higher-Order Critical Pairs, In Proceedings of LICS-91, pp.342\u2013349 (1991).","DOI":"10.1109\/LICS.1991.151658"},{"key":"2_CR14","first-page":"306","volume":"664","author":"T. Nipkow","year":"1993","unstructured":"T. Nipkow: Orthogonal Higher-Order Rewrite Systems are Confluent, In Proceedings of TLCA-93 (LNCS 664), pp.306\u2013317 (1993)","journal-title":"LNCS"},{"key":"2_CR15","first-page":"185","volume":"1074","author":"V. Oostrom van","year":"1995","unstructured":"V. van Oostrom: Development Closed Critical Pairs, In HOA-95 Selected Papers (LNCS 1074), pp. 185\u2013200 (1995).","journal-title":"LNCS"},{"issue":"1","key":"2_CR16","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1016\/S0304-3975(96)00173-9","volume":"175","author":"V. Oostrom van","year":"1997","unstructured":"V. van Oostrom: Developing Developments, TCS, 175.1, pp.159\u2013181 (1997).","journal-title":"TCS"},{"key":"2_CR17","first-page":"187","volume":"1232","author":"M. Oyamaguchi","year":"1997","unstructured":"M. Oyamaguchi and Y. Ohta: A New Parallel Closed Condition for Church-Rosser of Left-Linear Term Rewriting Systems, In Proceedings of RTA-91 (LNCS 1232), pp.187\u2013201 (1997).","journal-title":"LNCS"},{"key":"2_CR18","doi-asserted-by":"publisher","first-page":"160","DOI":"10.1145\/321738.321750","volume":"20","author":"B. K. Rosen","year":"1973","unstructured":"B. K. Rosen: Tree Manipulating Systems and Church-Rosser Theorems, JACM, 20, pp.160\u2013187 (1973).","journal-title":"JACM"},{"key":"2_CR19","unstructured":"Y. Toyama: On the Church-Rosser Property of Term Rewriting Systems (Japanese), Technical Report, 17672, NTT ECL (1981)."},{"key":"2_CR20","unstructured":"Y. Toyama: Commutativity of Term Rewriting Systems, In Fuchi and L. Kott eds., Programming of Future Generation Computer, Vol.11, pp.393\u2013407, North-Holland (1988)."},{"key":"2_CR21","unstructured":"Y. Toyama: Personal Communication (1997)."}],"container-title":["Lecture Notes in Computer Science","Rewriting Techniques and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0052357","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,10]],"date-time":"2019-02-10T22:09:44Z","timestamp":1549836584000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0052357"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540643012","9783540697213"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/bfb0052357","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1998]]}}}