{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:20:35Z","timestamp":1725456035085},"publisher-location":"Berlin\/Heidelberg","reference-count":22,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"354019021X"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0026098","type":"book-chapter","created":{"date-parts":[[2005,11,22]],"date-time":"2005-11-22T07:47:21Z","timestamp":1132645641000},"page":"89-101","source":"Crossref","is-referenced-by-count":10,"title":["On completeness of narrowing strategies"],"prefix":"10.1007","author":[{"given":"Rachid","family":"Echahed","sequence":"first","affiliation":[]}],"member":"297","reference":[{"issue":"3","key":"7_CR1","doi-asserted-by":"crossref","first-page":"841","DOI":"10.1145\/322326.322339","volume":"29","author":"K.R. Apt","year":"1982","unstructured":"K.R. Apt, M.H. Van Emden: Contributions to the Theory of Logic Programming. JACM, Vol. 29, no 3, July 1982, 841\u2013862.","journal-title":"JACM"},{"key":"7_CR2","doi-asserted-by":"crossref","unstructured":"M. Bellia, G. Levi: The Relation between Logic and Functional Languages: Asurvey. J. Logic Programming, 217\u2013236, 1986.","DOI":"10.1016\/0743-1066(86)90014-2"},{"key":"7_CR3","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 no 213, Saarebr\u00fccken, March 1986 119\u2013132.","DOI":"10.1007\/3-540-16442-1_9"},{"key":"7_CR4","doi-asserted-by":"crossref","unstructured":"P.G. Bosco, E. Giovannetti, C. Moiso: Refined Strategies for semantic unification. Proc. of TAPSOFT '87, LNCS no 250, Pisa, March 1987, 276\u2013290.","DOI":"10.1007\/BFb0014986"},{"key":"7_CR5","unstructured":"N. Deshowitz, D.A. Plaisted: Logic Programming cum Applicative Programming. Proc. of SLP'85, July 1985, 54\u201366."},{"key":"7_CR6","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":"7_CR7","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":"7_CR8","doi-asserted-by":"crossref","unstructured":"A. Geser, H. Hussmann: Experiences with the RAP system-a Specification interpreter combining term rewriting and resolution. Proc. of ESOP'86, LNCS no 213, Saarebr\u00fccken, March 1986, 339\u2013350.","DOI":"10.1007\/3-540-16442-1_26"},{"key":"7_CR9","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1016\/0743-1066(84)90004-9","volume":"1","author":"J.A. Goguen","year":"1984","unstructured":"J.A. Goguen, J. Meseguer: Equality, Types, Modules and (why not?) generics for logic programming. J. Logic Programming, vol.1, 1984, 179\u2013210.","journal-title":"J. Logic Programming"},{"key":"7_CR10","doi-asserted-by":"crossref","unstructured":"H. Hussmann: Unification in Conditional Equational Theories. Proc. of EUROCAL'85, LNCS, no204, 1985,543\u2013553.","DOI":"10.1007\/3-540-15984-3_328"},{"key":"7_CR11","doi-asserted-by":"crossref","unstructured":"G. Huet, J-M. Hullot: Proofs by Induction in Equational Theories with constructors. Proc. of 21st Annual Symposium on Foundationn of Computer Science, 1980, 96\u2013107.","DOI":"10.1109\/SFCS.1980.37"},{"key":"7_CR12","doi-asserted-by":"crossref","unstructured":"G. Huet, D.C. Oppen: Equations and Rewrite rules: a Survey. In \"Formal Languages: Perspectives and Open problems\". Ed. R.Book, Academic press, 1980.","DOI":"10.1016\/B978-0-12-115350-2.50017-8"},{"key":"7_CR13","doi-asserted-by":"crossref","unstructured":"J-M. Hullot: Canonical Forms and Unification. Proc.of 5th CADE, LNCS no 87, 1980, 318\u2013334.","DOI":"10.1007\/3-540-10009-1_25"},{"key":"7_CR14","unstructured":"A. Josephson, N. Dershowitz: An Implementation of Narrowing: The RITE Way. Proc. of SLP'86, IEEE press, Salt lake city, Utah, 1986, 187\u2013197."},{"key":"7_CR15","unstructured":"J-P. Jouannaud, E. Kounalis: Automatic Proofs by Induction in Equational Theories without Constructors. Proc. of 1st IEEE Symposium on Logic in Computer Science, 1986."},{"key":"7_CR16","doi-asserted-by":"crossref","first-page":"175","DOI":"10.1016\/0304-3975(84)90087-2","volume":"33","author":"S. Kaplan","year":"1984","unstructured":"S. Kaplan: Conditional Rewrite Rules. TCS, 33, 1984, 175\u2013193.","journal-title":"TCS"},{"key":"7_CR17","unstructured":"J. Meseguer, J.A. Goguen: Initiality, Induction and Computability. In Algebraic Methods in Semantics, M.Nivat and J.C.Reynolds, Eds, Cambridge University Press, 1985, 459\u2013541."},{"key":"7_CR18","unstructured":"N.J. Nilsson: Principles of Artificial Intelligence. Springer-Verlag, 1980."},{"key":"7_CR19","doi-asserted-by":"crossref","unstructured":"P. Padawitz: Strategy-Controlled Reduction and Narrowing. Proc. RTA'87, LNCS no 256, Bordeaux, May 1987, 242\u2013255.","DOI":"10.1007\/3-540-17220-3_21"},{"key":"7_CR20","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, 1985."},{"key":"7_CR21","doi-asserted-by":"crossref","unstructured":"P. R\u00e9ty: Improving Basic Narrowing Techniques. Proc. RTA'87, LNCS, no 256, Bordeaux, May 1987, 228\u2013241.","DOI":"10.1007\/3-540-17220-3_20"},{"issue":"4","key":"7_CR22","doi-asserted-by":"crossref","first-page":"622","DOI":"10.1145\/321850.321859","volume":"21","author":"J.R. Slagle","year":"1974","unstructured":"J.R. Slagle: Automated Theorem Proving for Theories with Simplifiers, Commutativity, and Associativity. JACM, Vol. 21, no 4, October 1974, 622\u2013642.","journal-title":"JACM"}],"container-title":["Lecture Notes in Computer Science","CAAP '88"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.springerlink.com\/index\/pdf\/10.1007\/BFb0026098","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T02:56:25Z","timestamp":1586573785000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0026098"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["354019021X"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/bfb0026098","relation":{},"subject":[]}}