{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,7,10]],"date-time":"2024-07-10T15:22:04Z","timestamp":1720624924008},"reference-count":16,"publisher":"Elsevier BV","license":[{"start":{"date-parts":[[2002,9,1]],"date-time":"2002-09-01T00:00:00Z","timestamp":1030838400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,29]],"date-time":"2013-07-29T00:00:00Z","timestamp":1375056000000},"content-version":"vor","delay-in-days":3984,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc-nd\/3.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Electronic Notes in Theoretical Computer Science"],"published-print":{"date-parts":[[2002,9]]},"DOI":"10.1016\/s1571-0661(04)80347-5","type":"journal-article","created":{"date-parts":[[2004,9,28]],"date-time":"2004-09-28T19:29:25Z","timestamp":1096399765000},"page":"73-94","source":"Crossref","is-referenced-by-count":2,"special_numbering":"C","title":["Improving the Efficiency of Non-Deterministic Computations1 1Supported in part by NSF grants INT-9981317 and CCR-0110496 and by the Spanish Knowledge Society Foundation, the Spanish Research Funding Agency (CICYT) TIC 2001-2705-C03-01, by Acci\u00f3n Integrade Hispano-Italiana HI2000-0161, and the Valencian Research Council under grant GV01-424."],"prefix":"10.1016","volume":"64","author":[{"given":"Sergio","family":"Antoy","sequence":"first","affiliation":[]},{"given":"Pascual Juli\u00e1n","family":"Iranzo","sequence":"additional","affiliation":[]},{"given":"Bart","family":"Massey","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/S1571-0661(04)80347-5_NEWBIB1","series-title":"Compilers: Principles, Techniques and Tools","author":"Aho","year":"1985"},{"key":"10.1016\/S1571-0661(04)80347-5_NEWBIB2","doi-asserted-by":"crossref","unstructured":"E. Albert, S. Antoy, and G. Vidal. Measuring the effectiveness of partial evaluation in functional logic languages. In Proc. of 10th Int'l Workshop on Logic-based Program Synthesis and Transformation (LOPSTR'2000), pages 103\u2013124. Springer LNCS 2042, 2001.","DOI":"10.1007\/3-540-45142-0_7"},{"key":"10.1016\/S1571-0661(04)80347-5_NEWBIB3","doi-asserted-by":"crossref","unstructured":"S. Antoy. Definitional trees. In Proc. of the 3rd International Conference on Algebraic and Logic Programming (ALP'92), pages 143\u2013157. Springer LNCS 632, 1992.","DOI":"10.1007\/BFb0013825"},{"key":"10.1016\/S1571-0661(04)80347-5_NEWBIB4","doi-asserted-by":"crossref","unstructured":"S. Antoy. Optimal non-deterministic functional logic computations. In Proc. International Conference on Algebraic and Logic Programming (ALP'97), pages 16\u201330. Springer LNCS 1298, 1997.","DOI":"10.1007\/BFb0027000"},{"key":"10.1016\/S1571-0661(04)80347-5_NEWBIB5","doi-asserted-by":"crossref","unstructured":"S. Antoy. Constructor-based conditional narrowing. In Proc. of 3rd Int'l Conf. on Principles and Practice of Declarative Programming (PPDP'01), pages 199\u2013206. ACM Press, 2001.","DOI":"10.1145\/773184.773205"},{"key":"10.1016\/S1571-0661(04)80347-5_NEWBIB6","doi-asserted-by":"crossref","unstructured":"S. Antoy and M. Hanus. Compiling multi-paradigm declarative programs into prolog. In Proc. of the 3rd International Workshop on Frontiers of Combining Systems (FroCoS 2000), pages 171\u2013185, Nancy, France, March 2000. Springer LNCS 1794.","DOI":"10.1007\/10720084_12"},{"key":"10.1016\/S1571-0661(04)80347-5_NEWBIB7","doi-asserted-by":"crossref","unstructured":"S. Antoy, M. Hanus, B. Massey, and F. Steiner. An implementation of narrowing strategies. In Proc. of 3rd Int'l Conf. on Principles and Practice of Declarative Programming (PPDP'01), pages 207\u2013217. ACM Press, 2001.","DOI":"10.1145\/773184.773206"},{"key":"10.1016\/S1571-0661(04)80347-5_NEWBIB8","doi-asserted-by":"crossref","first-page":"139","DOI":"10.1016\/0022-0000(91)90009-T","article-title":"Kernel LEAF: a logic plus functional language","volume":"42","author":"Giovannetti","year":"1991","journal-title":"Journal of Computer and System Sciences"},{"key":"10.1016\/S1571-0661(04)80347-5_NEWBIB9","doi-asserted-by":"crossref","unstructured":"J.C. Gonz\u00e1lez-Moreno, M.T. Hortal\u00e1-Gonz\u00e1lez, F.J. L\u00f3pez-Fraguas, and M. Rodr\u00edguez-Artalejo. A rewriting logic for declarative programming. In Proc. ESOP'96, pages 156\u2013172. Springer LNCS 1058, 1996.","DOI":"10.1007\/3-540-61055-3_35"},{"key":"10.1016\/S1571-0661(04)80347-5_NEWBIB10","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1016\/S0743-1066(98)10029-8","article-title":"An approach to declarative programming based on a rewriting logic","volume":"40","author":"Gonz\u00e1lez-Moreno","year":"1999","journal-title":"Journal of Logic Programming"},{"key":"10.1016\/S1571-0661(04)80347-5_NEWBIB11","unstructured":"M. Hanus, S. Antoy, J. Koj, R. Sadre, and F. Steiner. PAKCS 1.3: The Portland Aachen Kiel Curry System User Manual. Technical report, University of Kiel, Germany, 2000. Web document. URL http:\/\/www.informatik.uni-kiel.de\/~pakcs accessed April 15, 2002 08:35 UTC."},{"key":"10.1016\/S1571-0661(04)80347-5_NEWBIB12","unstructured":"M. Hanus (ed.). Curry: An Integrated Functional Logic Language, 2000. Web document. URL http:\/\/www.informatik.uni-kiel.de\/~mh\/curry\/report.html accessed April 15, 2002 08:34 UTC."},{"key":"10.1016\/S1571-0661(04)80347-5_NEWBIB13","series-title":"Computational logic: essays in honour of Alan Robinson","article-title":"Computations in orthogonal term rewriting systems","author":"Huet","year":"1991"},{"key":"10.1016\/S1571-0661(04)80347-5_NEWBIB14","doi-asserted-by":"crossref","first-page":"237","DOI":"10.1016\/0743-1066(92)90026-Y","article-title":"Nondeterministic algebraic specifications and nonconfluent rewriting","volume":"12","author":"Hussmann","year":"1992","journal-title":"Journal of Logic Programming"},{"key":"10.1016\/S1571-0661(04)80347-5_NEWBIB15","doi-asserted-by":"crossref","unstructured":"F. L\u00f3pez-Fraguas, and J. S\u00e1nchez-Hern\u00e1ndez. TOY: A Multiparadigm Declarative System. In Proceedings of RTA '99, pages 244\u2013247. Springer LNCS 1631, 1999.","DOI":"10.1007\/3-540-48685-2_19"},{"key":"10.1016\/S1571-0661(04)80347-5_NEWBIB16","doi-asserted-by":"crossref","first-page":"191","DOI":"10.1016\/0743-1066(92)90024-W","article-title":"Logic programming with functions and predicates: The language BABEL","volume":"12","author":"Moreno-Navarro","year":"1992","journal-title":"Journal of Logic Programming"}],"container-title":["Electronic Notes in Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104803475?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104803475?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2020,4,3]],"date-time":"2020-04-03T06:51:37Z","timestamp":1585896697000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1571066104803475"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,9]]},"references-count":16,"alternative-id":["S1571066104803475"],"URL":"https:\/\/doi.org\/10.1016\/s1571-0661(04)80347-5","relation":{},"ISSN":["1571-0661"],"issn-type":[{"value":"1571-0661","type":"print"}],"subject":[],"published":{"date-parts":[[2002,9]]}}}