{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:22:02Z","timestamp":1725456122725},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540603597"},{"type":"electronic","value":"9783540450481"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/bfb0026816","type":"book-chapter","created":{"date-parts":[[2005,11,19]],"date-time":"2005-11-19T05:29:45Z","timestamp":1132378185000},"page":"97-114","source":"Crossref","is-referenced-by-count":8,"title":["A complete narrowing calculus for higher-order functional logic programming"],"prefix":"10.1007","author":[{"given":"Koichi","family":"Nakahara","sequence":"first","affiliation":[]},{"given":"Aart","family":"Middeldorp","sequence":"additional","affiliation":[]},{"given":"Tetsuo","family":"Ida","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,16]]},"reference":[{"key":"8_CR1","doi-asserted-by":"crossref","unstructured":"S. Antoy, R. Echahed, and M. Hanus, A Needed Narrowing Strategy, Proceedings of the 21st ACM Symposium on Principles of Programming Languages, Portland, pp. 268\u2013279, 1994.","DOI":"10.1145\/174675.177899"},{"key":"8_CR2","unstructured":"P.G. Bosco and E. Giovannetti, IDEAL: An Ideal Deductive Applicative Language, Proceedings of the IEEE International Symposium on Logic Programming, pp. 89\u201394, 1986."},{"key":"8_CR3","doi-asserted-by":"crossref","unstructured":"N. Dershowitz and J.-P. Jouannaud, Rewrite Systems, in: Handbook of Theoretical Computer Science, Vol. B (ed. J. van Leeuwen), North-Holland, pp. 243\u2013320, 1990.","DOI":"10.1016\/B978-0-444-88074-1.50011-1"},{"issue":"2","key":"8_CR4","doi-asserted-by":"crossref","first-page":"139","DOI":"10.1016\/0022-0000(91)90009-T","volume":"42","author":"E. Giovannetti","year":"1991","unstructured":"E. Giovannetti, G. Levi, C. Moiso, and C. Palamidessi, Kernel-LEAF: A Logic plus Functional Language, Journal of Computer and System Sciences 42(2), pp. 139\u2013185, 1991.","journal-title":"Journal of Computer and System Sciences"},{"key":"8_CR5","doi-asserted-by":"crossref","first-page":"216","DOI":"10.1007\/3-540-56992-8_14","volume":"702","author":"J. C. Gonz\u00e1lez-Moreno","year":"1992","unstructured":"Juan Carlos Gonz\u00e1lez-Moreno, M.T. Hortal\u00e1-Gonz\u00e1lez, and M. Rodr\u00edguez-Artalejo, On the Completeness of Narrowing as the Operational Semantics of Functional Logic Programming, Proceedings of the 6th Workshop on Computer Science Logic, San Miniato, Lecture Notes in Computer Science 702, pp. 216\u2013230, 1992.","journal-title":"Lecture Notes in Computer Science"},{"key":"8_CR6","doi-asserted-by":"crossref","first-page":"583","DOI":"10.1016\/0743-1066(94)90034-5","volume":"19 & 20","author":"M. Hanus","year":"1994","unstructured":"M. Hanus, The Integration of Functions into Logic Programming: From Theory to Practice, Journal of Logic Programming 19 & 20, pp. 583\u2013628, 1994.","journal-title":"Journal of Logic Programming"},{"key":"8_CR7","unstructured":"T. Ida and K. Nakahara, Leftmost Outside-In Narrowing Calculi, report ISE-TR-94-107, University of Tsukuba, 1994. To appear in the Journal of Functional Programming."},{"key":"8_CR8","unstructured":"J.W. Klop, Term Rewriting Systems, in: Handbook of Logic in Computer Science, Vol. II (eds. S. Abramsky, D. Gabbay and T. Maibaum), Oxford University Press, pp. 1\u2013116, 1992."},{"key":"8_CR9","doi-asserted-by":"crossref","first-page":"191","DOI":"10.1016\/0743-1066(92)90024-W","volume":"12","author":"J.J. Moreno-Navarro","year":"1992","unstructured":"J.J. Moreno-Navarro and M. Rodriguez-Artalejo, Logic Programming with Functions and Predicates: The Language BABEL, Journal of Logic Programming 12, pp. 191\u2013223, 1992.","journal-title":"Journal of Logic Programming"},{"key":"8_CR10","doi-asserted-by":"crossref","first-page":"298","DOI":"10.1007\/3-540-53162-9_47","volume":"463","author":"J.J. Moreno-Navarro","year":"1990","unstructured":"J.J. Moreno-Navarro, H. Kuchen, R. Loogen, and M. Rodr\u00ecguez-Artalejo, Lazy Narrowing in a Graph Machine, Proceedings of the 2nd International Conference on Algebraic and Logic Programming, Nancy, Lecture Notes in Computer Science 463, pp. 298\u2013317, 1990.","journal-title":"Lecture Notes in Computer Science"},{"key":"8_CR11","unstructured":"G. Nadathur and D. Miller, An Overview of \u03bb-Prolog, Proceedings of the 5th International Conference on Logic Programming, MIT Press, pp. 810\u2013827, 1988."},{"key":"8_CR12","doi-asserted-by":"crossref","first-page":"394","DOI":"10.1007\/3-540-59293-8_209","volume":"915","author":"S. Okui","year":"1995","unstructured":"S. Okui, A. Middeldorp, and T. Ida, Lazy Narrowing: Strong Completeness and Eager Variable Elimination, Proceedings of the 20th Colloquium on Trees in Algebra and Programming, Aarhus, Lecture Notes in Computer Science 915, pp. 394\u2013408, 1995.","journal-title":"Lecture Notes in Computer Science"},{"key":"8_CR13","doi-asserted-by":"crossref","unstructured":"C. Prehofer, Higher-Order Narrowing, Proceedings of the 9th IEEE Symposium on Logic in Computer Science, Paris, pp. 507\u2013516, 1994.","DOI":"10.1109\/LICS.1994.316040"},{"key":"8_CR14","unstructured":"U.S. Reddy, Narrowing as the Operational Semantics of Functional Languages, Proceedings of the IEEE International Symposium on Logic Programming, Boston, pp. 138\u2013151, 1985."}],"container-title":["Lecture Notes in Computer Science","Programming Languages: Implementations, Logics and Programs"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0026816","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,1,18]],"date-time":"2019-01-18T22:42:06Z","timestamp":1547851326000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0026816"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540603597","9783540450481"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/bfb0026816","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}