{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:03:48Z","timestamp":1725663828376},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540539049"},{"type":"electronic","value":"9783540463832"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/3-540-53904-2_87","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T22:16:48Z","timestamp":1330208208000},"page":"74-85","source":"Crossref","is-referenced-by-count":5,"title":["Detecting redundant narrowing derivations by the LSE-SL reducibility test"],"prefix":"10.1007","author":[{"given":"Stefan","family":"Krischer","sequence":"first","affiliation":[]},{"given":"Alexander","family":"Bockmayr","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,7]]},"reference":[{"key":"7_CR1","unstructured":"A. Bockmayr: Conditional Rewriting and Narrowing as a Theoretical Framework for Logic-Functional Programming: A Survey. Interner Bericht 10\/86, Fakult\u00e4t f\u00fcr Informatik, Universit\u00e4t Karlsruhe, 1986"},{"key":"7_CR2","unstructured":"A. Bockmayr: Narrowing with Inductively Defined Functions. Interner Bericht 25\/86, Fakult\u00e4t f\u00fcr Informatik, Universit\u00e4t Karlsruhe, 1986"},{"key":"7_CR3","doi-asserted-by":"crossref","unstructured":"A. Bockmayr: Narrowing with Built-in Theories. First Int. Workshop Logic and Algebraic Programming, Gau\u00dfig, DDR, 1988, Springer LNCS 343","DOI":"10.1007\/3-540-50667-5_60"},{"key":"7_CR4","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/0304-3975(88)90095-3","volume":"59","author":"P. G. Bosco","year":"1988","unstructured":"P. G. Bosco, E. Giovannetti, C. Moiso: Narrowing vs. SLD-Resolution. Theoretical Computer Science 59 (1988), 3\u201323","journal-title":"Theoretical Computer Science"},{"key":"7_CR5","doi-asserted-by":"crossref","unstructured":"J. Darlington, Y. Guo: Narrowing and Unification in Functional Programming \u2014 an Evaluation Mechanism for Absolute Set Abstraction. Rewriting Techniques and Applications, Chapel Hill, 1989, Springer LNCS 355","DOI":"10.1007\/3-540-51081-8_102"},{"key":"7_CR6","unstructured":"N. Dershowitz, D. A. Plaisted: Logic Programming cum Applicative Programming. Symp. on Logic Programming, Boston 1985, IEEE"},{"key":"7_CR7","unstructured":"N. Dershowitz, D. A. Plaisted: Equational Programming. Mach. Intell. 11 (Ed. J. Richards), Oxford, 1988"},{"key":"7_CR8","unstructured":"R. Echahed: On Completeness of Narrowing Strategies. CAAP 88, Nancy, Springer LNCS 299"},{"key":"7_CR9","doi-asserted-by":"crossref","unstructured":"L. Fribourg: Handling Function Definitions Through Innermost Superposition and Rewriting. Rewriting Techniques and Applications, Dijon, 1985, Springer LNCS 202","DOI":"10.1007\/3-540-15976-2_16"},{"key":"7_CR10","unstructured":"A. Herold: Narrowing Techniques Applied to Idempotent Unification. SEKI Report SR-86-16, Universit\u00e4t Kaiserslautern, 1986"},{"key":"7_CR11","doi-asserted-by":"crossref","unstructured":"S. H\u00f6lldobler: Foundations of Equational Logic Programming. Springer, LNCS 353, 1989","DOI":"10.1007\/BFb0015791"},{"key":"7_CR12","doi-asserted-by":"crossref","unstructured":"G. Huet, D. C. Oppen: Equations and Rewrite Rules, A Survey. Formal Language Theory (Ed. R. V. 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. 5th Conference on Automated Deduction, Les Arcs 1980, Springer LNCS 87","DOI":"10.21236\/ADA087640"},{"key":"7_CR14","unstructured":"S. Krischer: Vergleich und Bewertung von Narrowing-Strategien. Diplomarbeit, Fakult\u00e4t f\u00fcr Informatik, Universit\u00e4t Karlsruhe, 1990"},{"key":"7_CR15","doi-asserted-by":"crossref","first-page":"295","DOI":"10.1016\/S0747-7171(89)80014-8","volume":"7","author":"W. Nutt","year":"1989","unstructured":"W. Nutt, P. R\u00e9ty, G. Smolka: Basic Narrowing Revisited. J. Symb. Comput. 7 (1989), 295\u2013317","journal-title":"J. Symb. Comput."},{"key":"7_CR16","doi-asserted-by":"crossref","unstructured":"P. Padawitz: Computing in Horn Clause Theories. EATCS Monograph Vol. 16, Springer, 1988","DOI":"10.1007\/978-3-642-73824-1"},{"key":"7_CR17","doi-asserted-by":"crossref","unstructured":"P. R\u00e9ty, C. Kirchner, H. Kirchner, P. Lescanne: NARROWER: a New Algorithm for Unification and its Application to Logic Programming. Rewriting Techniques and Applications, Dijon, 1985, Springer LNCS 202","DOI":"10.1007\/3-540-15976-2_7"},{"key":"7_CR18","doi-asserted-by":"crossref","unstructured":"P. R\u00e9ty: Improving Basic Narowing Techniques. Rewriting Techniques and Applications, Bordeaux, 1987, Springer LNCS 256","DOI":"10.1007\/3-540-17220-3_20"},{"key":"7_CR19","unstructured":"P. R\u00e9ty: M\u00e9thodes d'Unification par Surr\u00e9duction. Th\u00e8se. Univ. Nancy, 1988"},{"key":"7_CR20","doi-asserted-by":"crossref","unstructured":"J. You: Solving Equations in an Equational Language. First Int. Workshop Logic and Algebraic Programming, Gau\u00dfig, DDR, 1988, Springer LNCS 343","DOI":"10.1007\/3-540-50667-5_77"},{"key":"7_CR21","unstructured":"J. You: Unification Modulo an Equality Theory for Equational Logic Programming. to appear in: J. Comp. Syst. Sc. 40 (1990)"}],"container-title":["Lecture Notes in Computer Science","Rewriting Techniques and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-53904-2_87.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:51:17Z","timestamp":1605646277000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-53904-2_87"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540539049","9783540463832"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/3-540-53904-2_87","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]}}}