{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,22]],"date-time":"2025-03-22T04:18:35Z","timestamp":1742617115973,"version":"3.40.2"},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540584025"},{"type":"electronic","value":"9783540486954"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-58402-1_27","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T15:53:07Z","timestamp":1330271587000},"page":"385-399","source":"Crossref","is-referenced-by-count":10,"title":["Combining lazy narrowing with disequality constraints"],"prefix":"10.1007","author":[{"given":"Puri","family":"Arenas-S\u00e1nchez","sequence":"first","affiliation":[]},{"given":"Ana","family":"Gil-Luezas","sequence":"additional","affiliation":[]},{"given":"Francisco J.","family":"L\u00f3pez-Fraguas","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,28]]},"reference":[{"key":"27_CR1","unstructured":"P.H. Cheong: Compiling lazy narrowing into Prolog, Technical Report 25, LIENS, 1990, to appear in: Journal of New Generation Computing."},{"key":"27_CR2","unstructured":"A. Colmerauer: Prolog and infinite trees, in K.L. Clark, S.A. Tarnlund (eds.) Logic Programming, Academic Press, 1982, 231\u2013251."},{"key":"27_CR3","unstructured":"A. Colmerauer: Equations and inequations on finite and infinite trees, Procs. FGCS'84, 1984, 85\u201399."},{"key":"27_CR4","unstructured":"H. Comon: Disunification: A Survey, in: J.L.Lassez,G. Plotkin (eds.) Computational Logic, Essays in Honor of Alan Robinson, MIT Press, 1991,322\u2013359."},{"key":"27_CR5","unstructured":"A. Dovier, G.F. Rossi: Embedding extensional finite sets in CLP, Procs. Int. Logic Progr. Symp., MIT Press, 1993."},{"key":"27_CR6","doi-asserted-by":"crossref","unstructured":"E. Giovannetti, G. Levi, C. Moiso, C. Palamidessi: Kernel LEAF: A Logic plus Functional Language, Journal of Computer and System Sciences, Vol. 42, No. 2, Academic Press 1991, 139\u2013185.","DOI":"10.1016\/0022-0000(91)90009-T"},{"key":"27_CR7","doi-asserted-by":"crossref","unstructured":"J.C. Gonz\u00e1lez Moreno, M.T. Hortal\u00e1 Gonz\u00e1lez, M. Rodr\u00edguez Artalejo: On the Completeness of Narrowing as the Operational Semantics of Functional Logic Programming, Procs. Computer Science Logic CSL'92, LNCS 702,1993, 216\u2013230.","DOI":"10.1007\/3-540-56992-8_14"},{"key":"27_CR8","unstructured":"M. Hanus: The Integration of Functions into Logic: From Theory to Practice, to appear in J. of Logic Progr. Also available as Tech. Rep. MPI-I-94,201, 1994."},{"key":"27_CR9","doi-asserted-by":"crossref","unstructured":"J. Jaffar, J.L. Lassez: Constraint Logic Programming, Procs. 14th ACM Symp. on Princ. of Prog. Lang., 1987, 114\u2013119.","DOI":"10.1145\/41625.41635"},{"key":"27_CR10","unstructured":"J. Jaffar, J.L. Lassez: Constraint Logic Programming, Tech. Rep. 86\/73, Dep. of Computer Science, Monash University, 1986."},{"key":"27_CR11","unstructured":"J. Jaffar,M.J. Maher: Constraint Logic Programming: A Survey, To appear in Journal of Logic Programming."},{"key":"27_CR12","unstructured":"J.P. Jouannaud, C. Kirchner: Solving Equations in Abstract Algebras: A Rule-Based Survey of Unification, in: J.L.Lassez,G. Plotkin (eds.) Computational Logic, Essays in Honor of Alan Robinson, The MIT Press, 1991,357\u2013321."},{"key":"27_CR13","unstructured":"H. Kuchen, F.J. L\u00f3pez-Fraguas, J.J. Moreno-Navarro, M. Rodr\u00edguez-Artalejo: Implementing Disequality in a Functional Logic Language, Procs. Joint Int. Conf and Symp. on Logic Programming, MIT Press, 1992, 207\u2013221."},{"key":"27_CR14","doi-asserted-by":"crossref","unstructured":"R. Loogen, F. J. L\u00f3pez Fraguas, M. Rodr\u00edguez Artalejo: A Demand Driven Computation Strategy for Lazy Narrowing, Int. Symp. on Programming Language Implementation and Logic Programming (PLILP) 93, LNCS 714, 184\u2013200.","DOI":"10.1007\/3-540-57186-8_79"},{"key":"27_CR15","unstructured":"F.J. L\u00f3pez-Fraguas: Constraint Functional Logic Programming, PhD. dissertation (forthcoming)."},{"key":"27_CR16","unstructured":"F.J. L\u00f3pez-Fraguas: A General Scheme for Constraint Functional Logic Programming, Procs. ALP, LNCS 632, 1992, 213\u2013217."},{"key":"27_CR17","doi-asserted-by":"crossref","unstructured":"M. Maher: Complete Axiomatizations of the Algebras of Finite, Rational and Infinite Trees, Procs. 3rd IEEE Symp. Logic in Computer Science, 1988, 348\u2013357.","DOI":"10.1109\/LICS.1988.5132"},{"key":"27_CR18","doi-asserted-by":"crossref","unstructured":"J. J. Moreno-Navarro, H. Kuchen, R. Loogen, M. Rodr\u00edguez-Artalejo: Lazy Narrowing in a Graph Machine, ALP, LNCS 463, 1990, 298\u2013317.","DOI":"10.1007\/3-540-53162-9_47"},{"key":"27_CR19","doi-asserted-by":"crossref","first-page":"189","DOI":"10.1016\/0743-1066(92)90023-V","volume":"12","author":"J. J. Moreno-Navarro","year":"1992","unstructured":"J.J. Moreno-Navarro, M. Rodr\u00edguez-Artalejo: Logic Programming with Functions and Predicates: The Language BABEL, J. Logic Programming, 12, 1992, 189\u2013223.","journal-title":"J. Logic Programming"},{"key":"27_CR20","unstructured":"U.S. Reddy: Narrowing as the Operational Semantics of Functional Languages, Procs. Int. Symp. on Logic Programming, 1985, 138\u2013151."},{"key":"27_CR21","unstructured":"D.S. Scott: Domains for Denotational Semantics, Procs. ICALP, LNCS 140,1892, 577\u2013613."},{"key":"27_CR22","unstructured":"D.A. Smith: Constraint Operations for CLP(FT), Procs. 8th Int. Conf. on Logic Programming, MIT Press, 1991, 760\u2013774."}],"container-title":["Lecture Notes in Computer Science","Programming Language Implementation and Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-58402-1_27.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T22:27:11Z","timestamp":1742596031000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58402-1_27"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540584025","9783540486954"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/3-540-58402-1_27","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}