{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:56:41Z","timestamp":1725559001833},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540214021"},{"type":"electronic","value":"9783540247548"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-24754-8_12","type":"book-chapter","created":{"date-parts":[[2010,7,7]],"date-time":"2010-07-07T16:28:24Z","timestamp":1278520104000},"page":"147-162","source":"Crossref","is-referenced-by-count":8,"title":["Implementing Natural Rewriting and Narrowing Efficiently"],"prefix":"10.1007","author":[{"given":"Santiago","family":"Escobar","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"12_CR1","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-36078-6_1","volume-title":"Logic for Programming, Artificial Intelligence, and Reasoning","author":"M. Alpuente","year":"2002","unstructured":"Alpuente, M., Escobar, S., Gramlich, B., Lucas, S.: Improving on-demand strategy annotations. In: Baaz, M., Voronkov, A. (eds.) LPAR 2002. LNCS (LNAI), vol.\u00a02514, pp. 1\u201318. Springer, Heidelberg (2002)"},{"key":"12_CR2","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1145\/258993.259015","volume-title":"Proc. of the ACM SIGPLAN Conf. on Partial Evaluation and Semantics-Based Program Manipulation, PEPM 1997, ACM Sigplan Notices","author":"M. Alpuente","year":"1997","unstructured":"Alpuente, M., Falaschi, M., Juli\u00e1n, P., Vidal, G.: Specialization of lazy functional logic programs. In: Proc. of the ACM SIGPLAN Conf. on Partial Evaluation and Semantics-Based Program Manipulation, PEPM 1997, ACM Sigplan Notices, vol.\u00a032(12), pp. 151\u2013162. ACM Press, New York (1997)"},{"key":"12_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1007\/BFb0013825","volume-title":"Algebraic and Logic Programming","author":"S. Antoy","year":"1992","unstructured":"Antoy, S.: Definitional trees. In: Kirchner, H., Levi, G. (eds.) ALP 1992. LNCS, vol.\u00a0632, pp. 143\u2013157. Springer, Heidelberg (1992)"},{"key":"12_CR4","first-page":"138","volume-title":"Proc. of the Fourteenth Int\u2019l Conf. on Logic Programming (ICLP 1997)","author":"S. Antoy","year":"1997","unstructured":"Antoy, S., Echahed, R., Hanus, M.: Parallel evaluation strategies for functional logic languages. In: Proc. of the Fourteenth Int\u2019l Conf. on Logic Programming (ICLP 1997), pp. 138\u2013152. MIT Press, Cambridge (1997)"},{"issue":"4","key":"12_CR5","doi-asserted-by":"publisher","first-page":"776","DOI":"10.1145\/347476.347484","volume":"47","author":"S. Antoy","year":"2000","unstructured":"Antoy, S., Echahed, R., Hanus, M.: A needed narrowing strategy. Journal of the ACM\u00a047(4), 776\u2013822 (2000)","journal-title":"Journal of the ACM"},{"key":"12_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1007\/10720084_12","volume-title":"Frontiers of Combining Systems","author":"S. Antoy","year":"2000","unstructured":"Antoy, S., Hanus, M.: Compiling multi-paradigm declarative programs into prolog. In: Kirchner, H. (ed.) FroCos 2000. LNCS, vol.\u00a01794, pp. 171\u2013185. Springer, Heidelberg (2000)"},{"key":"12_CR7","series-title":"ENTCS","volume-title":"Proc. of the 11th Int\u2019l Workshop on Functional and (Constraint) Logic Programming WFLP 2002","author":"S. Antoy","year":"2002","unstructured":"Antoy, S., Lucas, S.: Demandness in rewriting and narrowing. In: Comini, M., Falaschi, M. (eds.) Proc. of the 11th Int\u2019l Workshop on Functional and (Constraint) Logic Programming WFLP 2002. ENTCS, vol.\u00a076. Elsevier, Amsterdam (2002)"},{"key":"12_CR8","unstructured":"Arts, T., Giesl, J.: A collection of examples for termination of term rewriting using dependency pairs. Technical report, AIB-2001-09, RWTH Aachen, Germany (2001)"},{"key":"12_CR9","first-page":"113","volume-title":"Proc. of the 5th Int\u2019l ACM SIGPLAN Conf. on Principles and Practice of Declarative Programming, PPDP 2003","author":"S. Escobar","year":"2003","unstructured":"Escobar, S.: Refining weakly outermost-needed rewriting and narrowing. In: Miller, D. (ed.) Proc. of the 5th Int\u2019l ACM SIGPLAN Conf. on Principles and Practice of Declarative Programming, PPDP 2003, pp. 113\u2013123. ACM Press, New York (2003)"},{"key":"12_CR10","doi-asserted-by":"publisher","first-page":"583","DOI":"10.1016\/0743-1066(94)90034-5","volume":"19&20","author":"M. Hanus","year":"1994","unstructured":"Hanus, M.: The integration of functions into logic programming: From theory to practice. Journal of Logic Programming\u00a019&20, 583\u2013628 (1994)","journal-title":"Journal of Logic Programming"},{"key":"12_CR11","unstructured":"Hanus, M., Antoy, S., Engelke, M., H\u00f6ppner, K., Koj, J., Niederau, P., Sadre, R., Steiner, F.: PAKCS 1.5.0: The Portland Aachen Kiel Curry System User Manual. Technical report, University of Kiel, Germany (2003)"},{"key":"12_CR12","unstructured":"Hanus, M., Antoy, S., Kuchen, H., L\u00f3pez-Fraguas, F., Lux, W., Moreno Navarro, J., Steiner, F.: Curry: An Integrated Functional Logic Language (version 0.8) (2003), Available at \n                    \n                      http:\/\/www.informatik.uni-kiel.de\/~curry"},{"key":"12_CR13","first-page":"415","volume-title":"Computational logic: Essays in honour of J. Alan Robinson","author":"G. Huet","year":"1992","unstructured":"Huet, G., L\u00e9vy, J.-J.: Computations in orthogonal term rewriting systems, Part I + II. In: Computational logic: Essays in honour of J. Alan Robinson, pp. 395\u2013414, 415\u2013443. The MIT Press, Cambridge (1992)"},{"issue":"3","key":"12_CR14","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1016\/0743-1066(92)90024-W","volume":"12","author":"J. Moreno-Navarro","year":"1992","unstructured":"Moreno-Navarro, J., Rodr\u00edguez-Artalejo, M.: Logic programming with functions and predicates: The language Babel. Journal of Logic Programming\u00a012(3), 191\u2013224 (1992)","journal-title":"Journal of Logic Programming"},{"issue":"1","key":"12_CR15","doi-asserted-by":"publisher","first-page":"78","DOI":"10.1006\/inco.1993.1026","volume":"104","author":"R. Sekar","year":"1993","unstructured":"Sekar, R., Ramakrishnan, I.: Programming in equational logic: Beyond strong sequentiality. Information and Computation\u00a0104(1), 78\u2013109 (1993)","journal-title":"Information and Computation"},{"volume-title":"Term Rewriting Systems","year":"2003","key":"12_CR16","unstructured":"TeReSe (ed.): Term Rewriting Systems. Cambridge University Press, Cambridge (2003)"}],"container-title":["Lecture Notes in Computer Science","Functional and Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24754-8_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,17]],"date-time":"2019-03-17T09:47:59Z","timestamp":1552816079000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24754-8_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540214021","9783540247548"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24754-8_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}