{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,1]],"date-time":"2026-02-01T20:26:30Z","timestamp":1769977590469,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":6,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540543176","type":"print"},{"value":"9783540475583","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/3-540-54317-1_84","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T17:41:39Z","timestamp":1330191699000},"page":"115-126","source":"Crossref","is-referenced-by-count":1,"title":["Infinite terms and infinite rewritings"],"prefix":"10.1007","author":[{"given":"Yiyun","family":"Chen","sequence":"first","affiliation":[]},{"given":"Michael J.","family":"O'Donnell","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"key":"8_CR1","unstructured":"Yiyun Chen, Michael J. O'Donnell. Testing Confluence of Nonterminating Rewriting Systems. In this Proceedings."},{"key":"8_CR2","unstructured":"Yiyun Chen, Michael J. O'Donnell. Nonterminating Rewritings with Head Boundedness. Technical Report, The University of Chicago, 1990."},{"key":"8_CR3","doi-asserted-by":"crossref","unstructured":"Nachum Dershowitz and St\u00e9phane Kaplan. Rewrite, rewrite, rewrite, rewrite, rewrite ... In 16th Annual Symposium on Principles of Programming Languages, pp. 250\u2013259, SIGPLAN and SIGACT, 1989.","DOI":"10.1145\/75277.75299"},{"key":"8_CR4","doi-asserted-by":"crossref","unstructured":"Nachum Dershowitz, St\u00e9phane Kaplan and David A. Plaisted. Infinite Normal Forms. Volume 372 of Lecture Notes in Computer Science, Springer-Verlag, pp. 249\u2013262, 1989.","DOI":"10.1007\/BFb0035765"},{"issue":"4","key":"8_CR5","doi-asserted-by":"crossref","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. J. of the Association for Computing Machinery 27(4), pp. 797\u2013821, 1980.","journal-title":"J. of the Association for Computing Machinery"},{"key":"8_CR6","doi-asserted-by":"crossref","unstructured":"M. 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"}],"container-title":["Lecture Notes in Computer Science","Conditional and Typed Rewriting Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-54317-1_84.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T21:20:52Z","timestamp":1619558452000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-54317-1_84"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540543176","9783540475583"],"references-count":6,"URL":"https:\/\/doi.org\/10.1007\/3-540-54317-1_84","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1991]]}}}