{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,25]],"date-time":"2026-06-25T21:24:19Z","timestamp":1782422659583,"version":"3.54.5"},"publisher-location":"Berlin, Heidelberg","reference-count":31,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540366355","type":"print"},{"value":"9783540366362","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11799573_9","type":"book-chapter","created":{"date-parts":[[2006,8,7]],"date-time":"2006-08-07T12:25:42Z","timestamp":1154953542000},"page":"87-101","source":"Crossref","is-referenced-by-count":52,"title":["Overlapping Rules and Logic Variables in Functional Logic Programs"],"prefix":"10.1007","author":[{"given":"Sergio","family":"Antoy","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Michael","family":"Hanus","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"issue":"1","key":"9_CR1","doi-asserted-by":"publisher","first-page":"795","DOI":"10.1016\/j.jsc.2004.01.001","volume":"40","author":"E. Albert","year":"2005","unstructured":"Albert, E., Hanus, M., Huch, F., Oliver, J., Vidal, G.: Operational Semantics for Declarative Multi-Paradigm Languages. Journal of Symbolic Computation\u00a040(1), 795\u2013829 (2005)","journal-title":"Journal of Symbolic Computation"},{"key":"9_CR2","doi-asserted-by":"crossref","unstructured":"Albert, E., Hanus, M., Vidal, G.: A Practical Partial Evaluator for a Multi-Paradigm Declarative Language. Journal of Functional and Logic Programming\u00a02002(1) (2002)","DOI":"10.1007\/3-540-44716-4_21"},{"key":"9_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":"9_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"16","DOI":"10.1007\/BFb0027000","volume-title":"Algebraic and Logic Programming","author":"S. Antoy","year":"1997","unstructured":"Antoy, S.: Optimal Non-Deterministic Functional Logic Computations. In: Hanus, M., Heering, J., Meinke, K. (eds.) ALP 1997 and HOA 1997. LNCS, vol.\u00a01298, pp. 16\u201330. Springer, Heidelberg (1997)"},{"key":"9_CR5","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1145\/773184.773205","volume-title":"Proc. of the 3rd International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP 2001)","author":"S. Antoy","year":"2001","unstructured":"Antoy, S.: Constructor-based Conditional Narrowing. In: Proc. of the 3rd International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP 2001), pp. 199\u2013206. ACM Press, New York (2001)"},{"issue":"1","key":"9_CR6","doi-asserted-by":"publisher","first-page":"875","DOI":"10.1016\/j.jsc.2004.12.007","volume":"40","author":"S. Antoy","year":"2005","unstructured":"Antoy, S.: Evaluation Strategies for Functional Logic Programming. Journal of Symbolic Computation\u00a040(1), 875\u2013903 (2005)","journal-title":"Journal of Symbolic Computation"},{"issue":"4","key":"9_CR7","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":"9_CR8","doi-asserted-by":"crossref","unstructured":"Antoy, S., Hanus, M.: Overlapping Rules and Logic Variables in Functional Logic Programs. Technical Report 0608, Christian-Albrechts-Universit\u00e4t Kiel (2006)","DOI":"10.1007\/11799573_9"},{"key":"9_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"108","DOI":"10.1007\/11431664_7","volume-title":"Implementation and Application of Functional Languages","author":"S. Antoy","year":"2005","unstructured":"Antoy, S., Hanus, M., Liu, J., Tolmach, A.: A Virtual Machine for Functional Logic Computations. In: Grelck, C., Huch, F., Michaelson, G.J., Trinder, P. (eds.) IFL 2004. LNCS, vol.\u00a03474, pp. 108\u2013125. Springer, Heidelberg (2005)"},{"key":"9_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1007\/10705424_22","volume-title":"Functional and Logic Programming","author":"S. Antoy","year":"1999","unstructured":"Antoy, S., Tolmach, A.: Typed Higher-Order Narrowing without Higher-Order Strategies. In: Middeldorp, A. (ed.) FLOPS 1999. LNCS, vol.\u00a01722, pp. 335\u2013352. Springer, Heidelberg (1999)"},{"key":"9_CR11","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781139172752","volume-title":"Term Rewriting and All That","author":"F. Baader","year":"1998","unstructured":"Baader, F., Nipkow, T.: Term Rewriting and All That. Cambridge University Press, Cambridge (1998)"},{"issue":"3","key":"9_CR12","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1016\/0022-0000(86)90033-4","volume":"32","author":"J.A. Bergstra","year":"1986","unstructured":"Bergstra, J.A., Klop, J.W.: Conditional Rewrite Rules: Confluence and Termination. Journal of Computer and System Sciences\u00a032(3), 323\u2013362 (1986)","journal-title":"Journal of Computer and System Sciences"},{"key":"9_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"182","DOI":"10.1007\/11506676_12","volume-title":"Logic Based Program Synthesis and Transformation","author":"B. Brassel","year":"2005","unstructured":"Brassel, B., Hanus, M., Huch, F., Silva, J., Vidal, G.: Run-Time Profiling of Functional Logic Programs. In: Etalle, S. (ed.) LOPSTR 2004. LNCS, vol.\u00a03573, pp. 182\u2013197. Springer, Heidelberg (2005)"},{"key":"9_CR14","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1145\/1013963.1013984","volume-title":"Proceedings of the 6th ACM SIGPLAN International Conference on Principles and Practice of Declarative Programming (PPDP 2004)","author":"B. Bra\u00dfel","year":"2004","unstructured":"Bra\u00dfel, B., Hanus, M., Huch, F., Vidal, G.: A Semantics for Tracing Declarative Multi-Paradigm Programs. In: Proceedings of the 6th ACM SIGPLAN International Conference on Principles and Practice of Declarative Programming (PPDP 2004), pp. 179\u2013190. ACM Press, New York (2004)"},{"key":"9_CR15","first-page":"60","volume-title":"Proc. of the ACM SIGPLAN 2005 Workshop on Curry and Functional Logic Programming (WCFLP 2005)","author":"B. Bra\u00dfel","year":"2005","unstructured":"Bra\u00dfel, B., Huch, F.: Translating Curry to Haskell. In: Proc. of the ACM SIGPLAN 2005 Workshop on Curry and Functional Logic Programming (WCFLP 2005), pp. 60\u201365. ACM Press, New York (2005)"},{"key":"9_CR16","unstructured":"Claessen, K., Ljungl\u00f6f, P.: Typed Logical Variables in Haskell. In: Proc. ACM SIGPLAN Haskell Workshop, Montreal (2000)"},{"key":"9_CR17","unstructured":"de Dios Castro, J., L\u00f3pez-Fraguas, F.J.: Elimination of Extra Variables in Functional Logic Programs. Personal communication (2006)"},{"key":"9_CR18","first-page":"243","volume-title":"Handbook of Theoretical Computer Science","author":"N. Dershowitz","year":"1990","unstructured":"Dershowitz, N., Jouannaud, J.-P.: Rewrite Systems. In: van Leeuwen, J. (ed.) Handbook of Theoretical Computer Science, vol.\u00a0B, pp. 243\u2013320. Elsevier, Amsterdam (1990)"},{"issue":"2","key":"9_CR19","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1016\/0022-0000(91)90009-T","volume":"42","author":"E. Giovannetti","year":"1991","unstructured":"Giovannetti, E., Levi, G., Moiso, C., Palamidessi, C.: Kernel LEAF: A Logic plus Functional Language. Journal of Computer and System Sciences\u00a042(2), 139\u2013185 (1991)","journal-title":"Journal of Computer and System Sciences"},{"key":"9_CR20","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":"9_CR21","doi-asserted-by":"crossref","unstructured":"Hanus, M.: A Unified Computation Model for Functional and Logic Programming. In: Proc. of the 24th ACM Symposium on Principles of Programming Languages (Paris), pp. 80\u201393 (1997)","DOI":"10.1145\/263699.263710"},{"key":"9_CR22","unstructured":"Hanus, M., Sadre, R.: An Abstract Machine for Curry and its Concurrent Implementation in Java. Journal of Functional and Logic Programming\u00a01999(6) (1999)"},{"key":"9_CR23","unstructured":"Hanus, M. (ed.): Curry: An Integrated Functional Logic Language (Vers. 0.8.2) (2006), Available at: http:\/\/www.informatik.uni-kiel.de\/~curry"},{"key":"9_CR24","first-page":"395","volume-title":"Computational Logic: Essays in Honor of Alan Robinson","author":"G. Huet","year":"1991","unstructured":"Huet, G., L\u00e9vy, J.-J.: Computations in Orthogonal Rewriting Systems. In: Lassez, J.-L., Plotkin, G. (eds.) Computational Logic: Essays in Honor of Alan Robinson, pp. 395\u2013443. MIT Press, Cambridge (1991)"},{"key":"9_CR25","doi-asserted-by":"publisher","first-page":"144","DOI":"10.1145\/158511.158618","volume-title":"Proc. 20th ACM Symposium on Principles of Programming Languages (POPL 1993)","author":"J. Launchbury","year":"1993","unstructured":"Launchbury, J.: A Natural Semantics for Lazy Evaluation. In: Proc. 20th ACM Symposium on Principles of Programming Languages (POPL 1993), pp. 144\u2013154. ACM Press, New York (1993)"},{"key":"9_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"244","DOI":"10.1007\/3-540-48685-2_19","volume-title":"Rewriting Techniques and Applications","author":"F.J.L. Fraguas","year":"1999","unstructured":"Fraguas, F.J.L., Hern\u00e1ndez, J.S.: TOY: A Multiparadigm Declarative System. In: Narendran, P., Rusinowitch, M. (eds.) RTA 1999. LNCS, vol.\u00a01631, pp. 244\u2013247. Springer, Heidelberg (1999)"},{"key":"9_CR27","first-page":"390","volume-title":"Informatik 1999 \u2014 Annual meeting of the German Computer Science Society (GI)","author":"W. Lux","year":"1999","unstructured":"Lux, W., Kuchen, H.: An Efficient Abstract Machine for Curry. In: Beiersd\u00f6rfer, K., Engels, G., Sch\u00e4fer, W. (eds.) Informatik 1999 \u2014 Annual meeting of the German Computer Science Society (GI), pp. 390\u2013399. Springer, Heidelberg (1999)"},{"key":"9_CR28","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":"Moreno-Navarro, J.J., Rodr\u00edguez-Artalejo, M.: Logic Programming with Functions and Predicates: The Language BABEL. Journal of Logic Programming\u00a012, 191\u2013223 (1992)","journal-title":"Journal of Logic Programming"},{"key":"9_CR29","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1145\/1014007.1014020","volume-title":"Proc. of the ACM SIGPLAN 2004 Symposium on Partial Evaluation and Program Manipulation (PEPM 2004)","author":"C. Ochoa","year":"2004","unstructured":"Ochoa, C., Silva, J., Vidal, G.: Dynamic Slicing Based on Redex Trails. In: Proc. of the ACM SIGPLAN 2004 Symposium on Partial Evaluation and Program Manipulation (PEPM 2004), pp. 123\u2013134. ACM Press, New York (2004)"},{"key":"9_CR30","doi-asserted-by":"publisher","first-page":"90","DOI":"10.1145\/1016850.1016865","volume-title":"Proc. of the Ninth ACM SIGPLAN International Conference on Functional Programming (ICFP 2004)","author":"A. Tolmach","year":"2004","unstructured":"Tolmach, A., Antoy, S., Nita, M.: Implementing Functional Logic Languages Using Multiple Threads and Stores. In: Proc. of the Ninth ACM SIGPLAN International Conference on Functional Programming (ICFP 2004), pp. 90\u2013102. ACM Press, New York (2004)"},{"key":"9_CR31","first-page":"441","volume":"10","author":"D.H.D. Warren","year":"1982","unstructured":"Warren, D.H.D.: Higher-order extensions to PROLOG: are they needed? Machine Intelligence\u00a010, 441\u2013454 (1982)","journal-title":"Machine Intelligence"}],"container-title":["Lecture Notes in Computer Science","Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11799573_9.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,8]],"date-time":"2023-05-08T12:11:42Z","timestamp":1683547902000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11799573_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540366355","9783540366362"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/11799573_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006]]}}}