{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T19:55:48Z","timestamp":1762458948791},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540614401"},{"type":"electronic","value":"9783540685807"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61440-0_122","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T21:37:38Z","timestamp":1330292258000},"page":"122-133","source":"Crossref","is-referenced-by-count":19,"title":["Termination of context-sensitive rewriting by rewriting"],"prefix":"10.1007","author":[{"given":"Salvador","family":"Lucas","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"key":"10_CR1","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1016\/0304-3975(82)90026-3","volume":"17","author":"N. Dershowitz","year":"1982","unstructured":"N. Dershowitz. Orderings for term rewriting systems. Theoretical Computer Science 17:279\u2013301, 1982.","journal-title":"Theoretical Computer Science"},{"key":"10_CR2","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1016\/S0747-7171(87)80022-6","volume":"3","author":"N. Dershowitz","year":"1987","unstructured":"N. Dershowitz. Termination of rewriting. Journal on Symbolic Computation, 3:69\u2013115, 1987.","journal-title":"Journal on Symbolic Computation"},{"key":"10_CR3","first-page":"199","volume-title":"LNCS 693","author":"N. Dershowitz","year":"1993","unstructured":"N. Dershowitz. A Taste of Rewrite Systems. In P. E. Lauer, editor, Proc. of Functional Programming, Concurrency, Simulation and Automated Reasoning, LNCS 693:199\u2013228, Springer-Verlag, Berlin, 1993."},{"issue":"2","key":"10_CR4","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1016\/0304-3975(94)00275-4","volume":"142","author":"N. Dershowitz","year":"1995","unstructured":"N. Dershowitz and C. Hoot. Natural Termination. Theoretical Computer Science 142(2):179\u2013207, 1995.","journal-title":"Theoretical Computer Science"},{"key":"10_CR5","first-page":"243","volume-title":"Handbook of Theoretical Computer Science, volume B: Formal Models and Semantics","author":"N. Dershowitz","year":"1990","unstructured":"N. Dershowitz and J. P. Jouannaud. Rewrite Systems. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, volume B: Formal Models and Semantics, pages 243\u2013320. Elsevier, Amsterdam and The MIT Press, Cambridge, MA, 1990."},{"key":"10_CR6","unstructured":"D.P. Friedman and D.S. Wise. CONS should not evaluate its arguments. In S. Michaelson and R. Milner, editors, Automata, Languages and Programming, pages 257\u2013284, Edinburgh University Press, 1976."},{"key":"10_CR7","series-title":"LNCS 279","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1007\/3-540-18420-1_50","volume-title":"Graph Reduction","author":"J. Goguen","year":"1987","unstructured":"J. Goguen, C. Kirchner and J. Meseguer. Concurrent Term Rewriting as a Model of Computation. In J. H. Fasel, R. M. Keller, editors, Graph Reduction. Proceedings. of a Workshop. LNCS 279:53\u201393. Springer-Verlag, Berlin, 1987."},{"key":"10_CR8","unstructured":"S. Kamin and J.J. L\u00e9vy. Two generalizations of the recursive path ordering. University of Illinois, 1980."},{"key":"10_CR9","first-page":"147","volume-title":"LNCS 914","author":"J. F. T. Kamperman","year":"1995","unstructured":"J. F. Th. Kamperman and H. R. Walters. Lazy Rewriting and Eager Machinery. In J. Hsiang, editor, Proc. of the 6th International Conference on Rewriting Techniques and Applications, RTA'95, LNCS 914:147\u2013162, Springer-Verlag, Berlin, 1995."},{"key":"10_CR10","volume-title":"Computational logic: essays in honour of J. Alan Robinson","author":"G. Huet","year":"1991","unstructured":"G. Huet and J. J. L\u00e9vy. Computations in orthogonal term rewriting systems. In J. L. Lassez and G. Plotkin, editors, Computational logic: essays in honour of J. Alan Robinson. MIT Press, Cambridge, MA, 1991."},{"key":"10_CR11","unstructured":"R. Lalement. Computation as Logic. Masson-Prentice Hall International, 1993."},{"key":"10_CR12","unstructured":"S. Lucas. Computational properties in context-sensitive rewriting. In M. Alpuente and M.I. Sessa, editors, Proc. of 1995 Joint Conference on Declarative Programming, GULP-PRODE'95, pages 435\u2013446, 1995."},{"key":"10_CR13","first-page":"405","volume-title":"LNCS 1012","author":"S. Lucas","year":"1995","unstructured":"S. Lucas. Fundamentals of context-sensitive rewriting. In M. Bartosek, J. Staudek and J. Wiedermann, editors, Proc. of XXII Seminar on Current Trends in Theory and Practice of Informatics, SOFSEM'95, LNCS 1012: 405\u2013412, Springer-Verlag, Berlin, 1995."},{"key":"10_CR14","unstructured":"Z. Manna and S Ness. On the termination of Markov algorithms. In Proc. of the Third Hawaii International Conference on System Science, pages 789\u2013792, 1970."},{"key":"10_CR15","volume-title":"The Implementation of Functional Programming Languages","author":"S. L. Peyton-Jones","year":"1987","unstructured":"S. L. Peyton-Jones. The Implementation of Functional Programming Languages. Prentice-Hall International, London, 1987."},{"key":"10_CR16","unstructured":"C. Reade. Elements of Functional Programming. Addison-Wesley Publishing Company, 1987."}],"container-title":["Lecture Notes in Computer Science","Automata, Languages and Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61440-0_122.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:31:55Z","timestamp":1619573515000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61440-0_122"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540614401","9783540685807"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-61440-0_122","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}