{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,20]],"date-time":"2026-06-20T03:50:49Z","timestamp":1781927449770,"version":"3.54.5"},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540192428","type":"print"},{"value":"9783540391661","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1988]]},"DOI":"10.1007\/3-540-19242-5_3","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T20:05:11Z","timestamp":1330200311000},"page":"31-44","source":"Crossref","is-referenced-by-count":25,"title":["Confluence of conditional rewrite systems"],"prefix":"10.1007","author":[{"given":"Nachum","family":"Dershowitz","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Mitsuhiro","family":"Okada","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"G.","family":"Sivakumar","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2005,5,27]]},"reference":[{"key":"3_CR1","first-page":"323","volume":"32","author":"J. A. Bergstra","year":"1986","unstructured":"Bergstra, J. A., and Klop, J. W. \u201cConditional rewrite rules: Confluency and termination\u201d, JCSS 32, pp. 323\u2013362, 1986.","journal-title":"JCSS"},{"key":"3_CR2","unstructured":"Dershowitz, N., Okada, M., and Sivakumar, G. \u201cCanonical conditional rewrite systems\u201d, submitted."},{"key":"3_CR3","volume-title":"Machine Intelligence 11: The logic and acquisition of knowledge","author":"N. Dershowitz","year":"1987","unstructured":"Dershowitz, N., and Plaisted, D. A. \u201cEquational programming\u201d. In Machine Intelligence 11: The logic and acquisition of knowledge (J. E. Hayes, D. Michie, and J. Richards, eds.), Clarendon Press, London, 1987."},{"key":"3_CR4","unstructured":"Fribourg, L. \u201cSlog: A logic programming language interpreter based on clausal superposition and rewriting\u201d. Proceedings of the 1985 Symposium on Logic Programming, Boston, MA (July 1985), pp. 172\u2013184."},{"key":"3_CR5","first-page":"295","volume-title":"Logic Programming: Functions, relations and equations","author":"J. A. Goguen","year":"1986","unstructured":"Goguen, J. A., and Meseguer, J. \u201cEqlog: Equality, types and generic modules for logic programming\u201d. In Logic Programming: Functions, relations and equations (D. DeGroot and G. Lindstrom, eds.), Prentice-Hall, Englewood Cliffs, NJ, pp. 295\u2013363, 1986."},{"key":"3_CR6","doi-asserted-by":"crossref","unstructured":"Huet, G. \u201cConfluent reductions: Abstract properties and applications to term rewriting systems\u201d, J. ACM 27, pp. 797\u2013821.","DOI":"10.1145\/322217.322230"},{"key":"3_CR7","unstructured":"Jouannaud, J.-P., and Waldmann, B. \u201cReductive conditional term rewriting systems\u201d. Proceedings of the Third IFIP Working Conference on Formal Description of Programming Concepts, Ebberup, Denmark."},{"key":"3_CR8","doi-asserted-by":"crossref","unstructured":"Kaplan, S. \u201cSimplifying conditional term rewriting systems: Unification, termination and confluence\u201d, Journal of Symbolic Computation, to appear.","DOI":"10.1016\/S0747-7171(87)80010-X"},{"key":"3_CR9","doi-asserted-by":"crossref","unstructured":"Zhang, H., and R\u00e9my, J. L. \u201cContextual rewriting\u201d. Proceedings First International Conference on Rewriting Techniques and Applications, Dijon, France (May 1985), pp. 46\u201362 (available as Vol. 202, Lecture Notes in Computer Science, Springer, Berlin [September 1985]).","DOI":"10.1007\/3-540-15976-2_2"}],"container-title":["Lecture Notes in Computer Science","Conditional Term Rewriting Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-19242-5_3.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:16:51Z","timestamp":1605644211000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-19242-5_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1988]]},"ISBN":["9783540192428","9783540391661"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/3-540-19242-5_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1988]]}}}