{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T16:31:19Z","timestamp":1725467479294},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540637745"},{"type":"electronic","value":"9783540696452"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/3-540-63774-5_130","type":"book-chapter","created":{"date-parts":[[2006,7,17]],"date-time":"2006-07-17T14:30:57Z","timestamp":1153146657000},"page":"489-496","source":"Crossref","is-referenced-by-count":0,"title":["Efficient strong sequentiality using replacement restrictions"],"prefix":"10.1007","author":[{"given":"Salvador","family":"Lucas","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,7,29]]},"reference":[{"key":"37_CR1","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1016\/0304-3975(96)00041-2","volume":"165","author":"S. Antoy","year":"1996","unstructured":"S. Antoy and A. Middeldorp. A Sequential Reduction Strategy. Theoretical Computer Science 165:75\u201395, 1996.","journal-title":"Theoretical Computer Science"},{"key":"37_CR2","unstructured":"G. Huet and J.J. L\u00e9vy. Computations in orthogonal term rewriting systems. In Computational logic: essays in honour of J. Alan Robinson, MIT Press, 1991."},{"key":"37_CR3","doi-asserted-by":"crossref","unstructured":"J.W. Klop. Term Rewriting Systems. In Handbook of Logic in Computer Science, volume 3, pages 1\u2013116. Oxford University Press, 1992.","DOI":"10.1093\/oso\/9780198537618.003.0001"},{"key":"37_CR4","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1016\/S0747-7171(08)80124-1","volume":"12","author":"J.W. Klop","year":"1991","unstructured":"J.W. Klop and A. Middeldorp. Sequentiality in Orthogonal Term Rewriting Systems. Journal of Symbolic Computation 12:161\u2013195, 1991.","journal-title":"Journal of Symbolic Computation"},{"key":"37_CR5","unstructured":"S. Lucas. Context-sensitive computations in functional and functional logic programs. Journal of Functional and Logic Programming, 1997, to appear."},{"key":"37_CR6","doi-asserted-by":"crossref","unstructured":"S. Lucas. Needed Reductions with Context-Sensitive Rewriting. In Proc. of ALP'97, LNCS to appear.","DOI":"10.1007\/BFb0027007"},{"key":"37_CR7","doi-asserted-by":"crossref","unstructured":"S. Lucas. Termination of Context-Sensitive Rewriting by Rewriting. In Proc. of ICALP'96, LNCS 1099:122\u2013133, Springer-Verlag, 1996.","DOI":"10.1007\/3-540-61440-0_122"},{"key":"37_CR8","doi-asserted-by":"crossref","unstructured":"M.J. O'Donnell. Equational Logic as a Programming Language. The MIT Press, 1985.","DOI":"10.1007\/3-540-15648-8_20"},{"key":"37_CR9","doi-asserted-by":"crossref","unstructured":"R.C. Sekar, S. Pawagi and I.V. Ramakrishnan. Transforming Strongly Sequential Rewrite Systems with Constructors for Efficient Parallel Execution. In Proc. of RTA'89, LNCS 355:404\u2013418, 1989.","DOI":"10.1007\/3-540-51081-8_122"},{"key":"37_CR10","unstructured":"Y. Toyama, S. Smetsers, M.C.J.D. van Eekelen and R. Plasmeijer. The Functional Strategy and Transitive Term Rewriting Systems. Term Graph Rewriting \u2014 Theory and Practice, pages 117\u2013129, John Wiley & sons, 1993."}],"container-title":["Lecture Notes in Computer Science","SOFSEM'97: Theory and Practice of Informatics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-63774-5_130","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,5]],"date-time":"2024-02-05T10:11:08Z","timestamp":1707127868000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-63774-5_130"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540637745","9783540696452"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/3-540-63774-5_130","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}