{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:18:37Z","timestamp":1725455917205},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540558736"},{"type":"electronic","value":"9783540473022"}],"license":[{"start":{"date-parts":[[1992,1,1]],"date-time":"1992-01-01T00:00:00Z","timestamp":694224000000},"content-version":"tdm","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":[[1992]]},"DOI":"10.1007\/bfb0013831","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T02:24:11Z","timestamp":1132712651000},"page":"259-275","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":7,"title":["Uniform narrowing strategies"],"prefix":"10.1007","author":[{"given":"Rachid","family":"Echahed","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,9]]},"reference":[{"key":"17_CR1","doi-asserted-by":"crossref","unstructured":"D.Bert, R.Echahed: Design and Implementation of a Generic, Logic and Functional Programming Language. Proc. of ESOP'86, LNCS n\u2218 213, Saarebr\u00fccken, March 1986 119\u2013132.","DOI":"10.1007\/3-540-16442-1_9"},{"key":"17_CR2","doi-asserted-by":"crossref","unstructured":"P.G.Bosco, E.Giovannetti, C.Moiso: Refined Strategies for semantic unification. Proc. of TAPSOFT '87, LNCS n\u2218 250, Pisa, March 1987, 276\u2013290.","DOI":"10.1007\/BFb0014986"},{"key":"17_CR3","volume-title":"Logic Programming: Relations, Functions, and Equations","author":"D. DeGroot","year":"1986","unstructured":"D.DeGroot, G.Lindstrom: Logic Programming: Relations, Functions, and Equations. Prentice Hall, Englewood Cliffs, NJ, 1986."},{"key":"17_CR4","doi-asserted-by":"crossref","unstructured":"N.Dershowitz, J.P.Jouannaud: Rewrite Systems. Chapter 15 of Volume B of \u201cHandbook of Theoretical Computer Science\u201d, North-Holland, 1990.","DOI":"10.1016\/B978-0-444-88074-1.50011-1"},{"key":"17_CR5","unstructured":"N.Dershowitz, D.A.Plaisted: Logic Programming cum Applicative Programming. Proc. SLP'85, Boston, July 1985, 54\u201366."},{"key":"17_CR6","doi-asserted-by":"crossref","first-page":"199","DOI":"10.1016\/0743-1066(87)90002-1","volume":"4","author":"M. Dinkbas","year":"1987","unstructured":"M.Dinkbas, P.van Hentenryck: Extending Unification Algorithms for the Integration of functional Programming int Logic Programming. J. Logic Programming 1987, 4, 199\u2013227.","journal-title":"J. Logic Programming"},{"key":"17_CR7","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1016\/0304-3975(90)90032-D","volume":"72","author":"R. Echahed","year":"1990","unstructured":"R.Echahed: On Completeness of Narrowing Strategies. TCS 72, 1990, 133\u2013146. Also appeared in Proc. CAAP'88. LNCS 299.","journal-title":"TCS"},{"key":"17_CR8","unstructured":"R.Echahed: Sur l'Int\u00e9gration des Langages Alg\u00e9briques et Logiques. PhD thesis, Institut National Polytechnique de Grenoble, 1990."},{"key":"17_CR9","doi-asserted-by":"crossref","first-page":"189","DOI":"10.1016\/0304-3975(86)90175-1","volume":"43","author":"F. Fages","year":"1986","unstructured":"F.Fages, G.Huet: Complete sets of Unifiers and Matchers in Equational Theories. TCS 43, 1986, 189\u2013200.","journal-title":"TCS"},{"key":"17_CR10","unstructured":"M.J.Fay: First Order Unification in an Equational Theory. Proc. of the 4th workshop on automated Deduction, Austin, Texas, February 1979, 161\u2013167."},{"key":"17_CR11","unstructured":"L.Fribourg: SLOG: A Logic Programming Language Interpreter Based on Clausal Superposition and Rewriting. Proc. of SLP '85, Boston, July 1985, 172\u2013184."},{"key":"17_CR12","first-page":"105","volume":"226","author":"L.Fribourg","year":"1986","unstructured":"L.Fribourg: A strong restriction of the inductive completion procedure. Proc. of ICALP'86, LNCS 226, 105\u2013115, 1986.","journal-title":"Proc. of ICALP'86, LNCS"},{"key":"17_CR13","unstructured":"D.deFrutos-Escrig, M.I.Fernandez-Camacho: On narrowing Strategies for partial Non-strict Functions, to appear in Proc of TAPSOFT '91."},{"key":"17_CR14","doi-asserted-by":"crossref","unstructured":"J.H.Gallier, S.Raatz: Extending SLD-Resolution to Equational Horn Clauses using E-unification. J. Logic Programming 1989, 3\u201343.","DOI":"10.1016\/0743-1066(89)90028-9"},{"key":"17_CR15","unstructured":"J.A.Goguen, J.Meseguer: EQLOG: Equality, Types and Generic Modules for Logic Programming. in Functional and Logic Programming, ed. DeGroot and Lindstrom, Prentice-Hall, 1986."},{"key":"17_CR16","doi-asserted-by":"crossref","unstructured":"S.H\u00f6lldobler: Foundations of Equational Logic Programming. LNAI n\u2218 353, Edt. J. Siekmann, Springer Verlag. 1989.","DOI":"10.1007\/BFb0015791"},{"key":"17_CR17","unstructured":"G.Huet, D.C.Oppen: Equations and Rewrite rules: a Survey. In \u201cFormal Languages: Perspectives and Open problems\u201d. Ed. R. Book, Academic press, 1980."},{"key":"17_CR18","doi-asserted-by":"crossref","unstructured":"J-M.Hullot: Canonical Forms and Unification. Proc. of 5th CADE, LNCS n\u2218 87, 1980, 318\u2013334.","DOI":"10.1007\/3-540-10009-1_25"},{"key":"17_CR19","doi-asserted-by":"crossref","first-page":"395","DOI":"10.1007\/BF00292110","volume":"24","author":"D. Kapur","year":"1987","unstructured":"D.Kapur, P.Narendran, H.Zhang: On Sufficient Completeness and Related Properties of Term Rewriting Systems. Acta Informatica 24, 395\u2013415. 1987.","journal-title":"Acta Informatica"},{"key":"17_CR20","doi-asserted-by":"crossref","first-page":"311","DOI":"10.1007\/BF01893885","volume":"28","author":"D. Kapur","year":"1991","unstructured":"D.Kapur, P.Narendran, R.J.Rosenkrantz, H.Zhang: Sufficient-Completeness, ground-reducibility and their complexity. Acta Informatica 28, 311\u2013350. 1991.","journal-title":"Acta Informatica"},{"key":"17_CR21","unstructured":"A.Middeldorp, E.Hamoen: Counterexamples to completeness results for basic narrowing. draft of december 5th, 1991."},{"key":"17_CR22","unstructured":"J.J.Moreno-Navarro, M.Rodriguez-Artalejo: Logic Programming with Functions and Predicats: The Language BABEL. Rapport DIA\/89\/3, Universidad Complutense Madrid."},{"key":"17_CR23","unstructured":"W.Nutt, P.R\u00e9ty, G.Smolka: Basic Narrowing Revisited. Seki-Report SR-87-07, University of Kaiserslautern, 1987."},{"key":"17_CR24","doi-asserted-by":"crossref","unstructured":"P.Padawitz: Computing in Horn Clause Theories, Springer, 1988.","DOI":"10.1007\/978-3-642-73824-1"},{"key":"17_CR25","doi-asserted-by":"crossref","first-page":"182","DOI":"10.1016\/S0019-9958(85)80005-X","volume":"65","author":"D.A. Plaisted","year":"1985","unstructured":"D.A.Plaisted: Semantic Confluence Tests and Completion Methods. J. Information and Control 65, 1985, 182\u2013215.","journal-title":"J. Information and Control"},{"key":"17_CR26","first-page":"73","volume":"7","author":"G.D. Plotkin","year":"1972","unstructured":"G.D.Plotkin: Building-in Equational Theories. Machine Intelligence 7, 1972, 73\u201390.","journal-title":"Machine Intelligence"},{"key":"17_CR27","volume-title":"Logic Programming: Relations, Functions, and Equations","author":"U.S. Reddy","year":"1986","unstructured":"U.S.Reddy: Narrowing as the Operational Semantics of Functional Languages. In: Logic Programming: Relations, Functions, and Equations, D. DeGroot and G. Lindstrom, eds. Prentice Hall, Englewood Cliffs, NJ, 1986."},{"key":"17_CR28","unstructured":"J-H.You: Outer Narrowing for Equational Theories Based on Constructors. Proc. of ICALP'88."}],"container-title":["Lecture Notes in Computer Science","Algebraic and Logic Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0013831","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T09:11:18Z","timestamp":1558257078000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0013831"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992]]},"ISBN":["9783540558736","9783540473022"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/bfb0013831","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1992]]},"assertion":[{"value":"9 June 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}