{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T07:37:09Z","timestamp":1742974629043,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540417392"},{"type":"electronic","value":"9783540447160"}],"license":[{"start":{"date-parts":[[2001,1,1]],"date-time":"2001-01-01T00:00:00Z","timestamp":978307200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2001,1,1]],"date-time":"2001-01-01T00:00:00Z","timestamp":978307200000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-44716-4_10","type":"book-chapter","created":{"date-parts":[[2007,8,15]],"date-time":"2007-08-15T18:16:34Z","timestamp":1187201794000},"page":"153-169","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["A Framework for Goal-Directed Bottom-Up Evaluation of Functional Logic Programs"],"prefix":"10.1007","author":[{"given":"Jes\u00fas M.","family":"Almendros-Jim\u00e9nez","sequence":"first","affiliation":[]},{"given":"Antonio","family":"Becerra-Ter\u00f3n","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,3,21]]},"reference":[{"key":"10_CR1","doi-asserted-by":"crossref","unstructured":"J. M. Almendros-Jim\u00e9nez and A. Becerra-Ter\u00f3n. A Framework for Goal Directed Bottom-Up Evaluation of Functional Logic Programs, available in http:\/\/www.ual.es\/~jalmen. Technical report, Universidad de Almer\u00eca, 2000.","DOI":"10.1007\/3-540-44716-4_10"},{"key":"10_CR2","doi-asserted-by":"crossref","unstructured":"S. Antoy, R. Echahed, and M. Hanus. A Needed Narrowing Strategy. In Proc. of POPL\u201994. pp. 268\u2013279. ACM Press.","DOI":"10.1145\/174675.177899"},{"key":"10_CR3","first-page":"493","volume":"B Formal Models","author":"K. R. Apt","year":"1990","unstructured":"K. R. Apt. Logic programming. In Handbook of Theoretical Computer Science. Vol B: Formal Models and Semantics, chapter 10, pp. 493\u2013574. MIT Press, 1990.","journal-title":"Handbook of Theoretical Computer Science"},{"issue":"1","key":"10_CR4","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1145\/151646.151650","volume":"15","author":"R. Barbuti","year":"1993","unstructured":"R. Barbuti, R. Giacobazzi, and G. Levi. A General Framework for Semantics-based Bottom-up Abstract Interpretation of Logic Programs. TOPLAS, 15(1):133\u2013181, 1993.","journal-title":"TOPLAS"},{"issue":"34","key":"10_CR5","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1016\/0743-1066(91)90038-Q","volume":"10","author":"C. Beeri","year":"1991","unstructured":"C. Beeri and R. Ramakrishnan. On the Power of Magic. JLP, 10(3,4):255\u2013299, 1991.","journal-title":"JLP"},{"key":"10_CR6","doi-asserted-by":"crossref","unstructured":"M. Codish. Efficient Goal Directed Bottom-up Evaluation of Logic Programs. In Proc. of ICLP\u201997. pp. 422\u2013439. MIT Press.","DOI":"10.7551\/mitpress\/4299.003.0048"},{"issue":"40","key":"10_CR7","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1016\/S0743-1066(98)10029-8","volume":"1","author":"J. C. Gonz\u00e1lez-Moreno","year":"1999","unstructured":"J. C. Gonz\u00e1lez-Moreno, M. T. Hortal\u00e1-Gonz\u00e1lez, F. L\u00f3pez-Fraguas, and M. Rodr\u00ecguez-Artalejo. An Approach to Declarative Programming Based on a Rewriting Logic. JLP, 1(40):47\u201387, 1999.","journal-title":"JLP"},{"key":"10_CR8","doi-asserted-by":"publisher","first-page":"583","DOI":"10.1016\/0743-1066(94)90034-5","volume":"1920","author":"M. Hanus","year":"1994","unstructured":"M. Hanus. The Integration of Functions into Logic Programming: From Theory to Practice. JLP, 19,20:583\u2013628, 1994.","journal-title":"JLP"},{"key":"10_CR9","unstructured":"M. Hanus. Curry, An Integrated Functional Logic Language, Version 0.7.1. Technical report, University of Kiel, Germany, June 2000."},{"issue":"1","key":"10_CR10","first-page":"33","volume":"9","author":"M. Hanus","year":"1999","unstructured":"M. Hanus and C. Prehofer. Higher-order Narrowing with Definitional Trees. JFP, 9(1):33\u201375, 1999.","journal-title":"JFP"},{"issue":"1","key":"10_CR11","first-page":"26","volume":"51","author":"P. Kanellakis","year":"1995","unstructured":"P. Kanellakis, G. Kuper, and P. Revesz. Constraint Query Languages. JCSS, 51(1):26\u201352, 1995.","journal-title":"JCSS"},{"issue":"1-2","key":"10_CR12","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1016\/0304-3975(94)00153-A","volume":"146","author":"D. Kemp","year":"1995","unstructured":"D. Kemp, D. Srivastava, and P. Stuckey. Bottom-up Evaluation and Query Optimization of Well-founded Models. TCS, 146(1-2):145\u2013184, 1995.","journal-title":"TCS"},{"issue":"1","key":"10_CR13","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0743-1066(95)00050-X","volume":"26","author":"D. Kemp","year":"1996","unstructured":"D. Kemp and P. Stuckey. Optimizing Bottom-up Evaluation of Constraint Queries. JLP, 26(1):1\u201330, 1996.","journal-title":"JLP"},{"key":"10_CR14","series-title":"Lect Notes Comput Sci","first-page":"184","volume-title":"Proc. of PLILP\u201993","author":"R. Loogen","year":"2003","unstructured":"R. Loogen, F. J. L\u00f3pez-Fraguas, and M. Rodr\u00ecguez-Artalejo. A Demand Driven Computation Strategy for Lazy Narrowing. In Proc. of PLILP\u201993. pp. 184\u2013200. LNCS 714."},{"key":"10_CR15","series-title":"Lect Notes Comput Sci","first-page":"213","volume-title":"Proc. of ALP\u201992","author":"F. J. Lopez-Fraguas","year":"1992","unstructured":"F. J. Lopez-Fraguas. A General Scheme for Constraint Functional Logic Programming. In Proc. of ALP\u201992. pp. 213\u2013227. LNCS 632."},{"key":"10_CR16","series-title":"Lect Notes Comput Sci","first-page":"244","volume-title":"Proc. of the RTA\u201999","author":"F. J. L\u00f3pez-Fraguas","year":"1996","unstructured":"F. J. L\u00f3pez-Fraguas and J. S\u00e1nchez-Hern\u00e1ndez. TOY: A Multiparadigm Declarative System. In Proc. of the RTA\u201999. pp. 244\u2013247. LNCS 1631."},{"issue":"3","key":"10_CR17","doi-asserted-by":"publisher","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. Rodr\u00ecguez-Artalejo. Logic Programming with Functions and Predicates: The Language BABEL. JLP, 12(3):191\u2013223, 1992.","journal-title":"JLP"},{"key":"10_CR18","unstructured":"A. Poulovasslis and C. Small. A Domain-theoretic Approach to Integrating Functional and Logic Database Languages. In Proc. of VLDB\u201993. pp. 416\u2013428. Morgan Kaufmann."},{"issue":"34","key":"10_CR19","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1016\/0743-1066(91)90026-L","volume":"11","author":"R. Ramakrishnan","year":"1991","unstructured":"R. Ramakrishnan. Magic Templates: A Spellbinding Approach to Logic Programs. JLP, 11(3,4):189\u2013216, 1991.","journal-title":"JLP"},{"issue":"2","key":"10_CR20","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1007\/BF01228880","volume":"3","author":"R. Ramakrishnan","year":"1994","unstructured":"R. Ramakrishnan, D. Srivastava, S. Sudarshan, and P. Seshadri. The CORAL Deductive System. In VLDB Journal, 3(2):161\u2013210, 1994.","journal-title":"VLDB Journal"},{"issue":"2","key":"10_CR21","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1016\/0743-1066(94)00039-9","volume":"ii23","author":"R. Ramakrishnan","year":"1995","unstructured":"R. Ramakrishnan and J. Ullman. A Survey of Deductive Database Systems. JLP, ii23(2):125\u2013149, 1995.","journal-title":"JLP"},{"key":"10_CR22","doi-asserted-by":"crossref","unstructured":"S. Reddi, A. Poulovassilis, and C. Small. PFL: An Active Functional DBPL. In Active Rules in Database Systems. chapter 16, pp. 297\u2013308. Springer, 1999.","DOI":"10.1007\/978-1-4419-8656-6_16"},{"issue":"1-2","key":"10_CR23","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1016\/0304-3975(86)90015-0","volume":"62","author":"D. Sacca","year":"1988","unstructured":"D. Sacca and C. Zaniolo. The Generalized Counting Method for Recursive Logic Queries. TCS, 62(1-2):187\u2013220, 1988.","journal-title":"TCS"},{"key":"10_CR24","doi-asserted-by":"crossref","unstructured":"H. Seki. On the Power of Alexander Templates. In Proc. of PODS\u201989. pp. 150\u2013159. ACM Press.","DOI":"10.1145\/73721.73737"},{"key":"10_CR25","doi-asserted-by":"crossref","unstructured":"J. D. Ullman. Bottom-up Beats Top-down for Datalog. In Procs. of PODS\u201989. pp. 140\u2013149. ACM Press.","DOI":"10.1145\/73721.73736"},{"issue":"2","key":"10_CR26","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1007\/BF01228882","volume":"3","author":"J. Vaghani","year":"1994","unstructured":"J. Vaghani, K. Ramamohanarao, D. B. Kemp, Z. Somogyi, P. J. Stuckey, T. S. Leask, and J. Harland. The Aditi Deductive Database System. VLDB, 3(2): 245\u2013288, 1994.","journal-title":"VLDB"}],"container-title":["Lecture Notes in Computer Science","Functional and Logic Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44716-4_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,20]],"date-time":"2025-01-20T10:54:54Z","timestamp":1737370494000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44716-4_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540417392","9783540447160"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/3-540-44716-4_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2001]]},"assertion":[{"value":"21 March 2001","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}