{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:14:30Z","timestamp":1725664470688},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540584315"},{"type":"electronic","value":"9783540487913"}],"license":[{"start":{"date-parts":[[1994,1,1]],"date-time":"1994-01-01T00:00:00Z","timestamp":757382400000},"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":[[1994]]},"DOI":"10.1007\/3-540-58431-5_7","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T16:06:31Z","timestamp":1330272391000},"page":"59-76","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["How to realize LSE narrowing"],"prefix":"10.1007","author":[{"given":"Andreas","family":"Werner","sequence":"first","affiliation":[]},{"given":"Alexander","family":"Bockmayr","sequence":"additional","affiliation":[]},{"given":"Stefan","family":"Krischer","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,30]]},"reference":[{"key":"7_CR1","series-title":"LNCS 656","volume-title":"Conditional Term Rewriting Systems, CTRS 1992","author":"A. Bockmayr","year":"1993","unstructured":"A. Bockmayr, S. Krischer and A. Werner. An Optimal Narrowing Strategy for General Canonical Systems. In Conditional Term Rewriting Systems, CTRS 1992, Pont-\u00e0-Mousson, France, LNCS 656, Springer-Verlag, 1993."},{"key":"7_CR2","doi-asserted-by":"crossref","unstructured":"A. Bockmayr, S. Krischer and A. Werner. Narrowing Strategies for Arbitrary Canonical Systems. Interner Bericht 22\/93, Fakult\u00e4t f\u00fcr Informatik, University of Karlsruhe, 1993. To appear in Fundamenta Informaticae.","DOI":"10.1007\/3-540-56393-8_39"},{"key":"7_CR3","doi-asserted-by":"crossref","unstructured":"A. Bockmayr and A. Werner. LSE Narrowing for Decreasing Conditional Term Rewrite Systems. To appear in Conditional Term Rewriting Systems, CTRS 1994, Jerusalem, Israel, 1994.","DOI":"10.1007\/3-540-60381-6_4"},{"key":"7_CR4","unstructured":"M. Gollner and C. Scharnhorst. Integration logischer und funktionaler Sprachkonzepte mit dem normalisierenden Narrowing-System KANN. In Proc. Workshop \u201dSprachen f\u00fcr KI-Anwendungen\u201d, Bericht 12\/92-I, Univ. M\u00fcnster, 1992."},{"key":"7_CR5","unstructured":"D. DeGroot and G. Lindstrom. Logic Programming. Functions, Relations, and Equations. Prentice Hall, 1986."},{"key":"7_CR6","doi-asserted-by":"crossref","unstructured":"N. Dershowitz, J.P. Jouannaud. Rewrite Systems, in: Handbook of Theoretical Computer Science, Volume B, Chapter 6, pages 244\u2013320, Elsevier Science Publishers North-Holland, 1990.","DOI":"10.1016\/B978-0-444-88074-1.50011-1"},{"key":"7_CR7","unstructured":"M. Gollner. Implicit, Explicit and Consistent-Explicit Basic-Indexing. In Implementation of Logical-Functional Languages. Interner Bericht 10\/92, Fakult\u00e4t f\u00fcr Informatik, Univ. Karlsruhe, 1993."},{"key":"7_CR8","volume-title":"LNAI 567","author":"M. Hanus","year":"1991","unstructured":"M. Hanus. Efficient Implementation of Narrowing and Rewriting. In Proc. International Workshop on Processing Declarative Knowledge, Kaiserslautern, LNAI 567, Springer-Verlag, 1991."},{"key":"7_CR9","volume-title":"MPI-Report MPI-I-94-201","author":"M. Hanus","year":"1994","unstructured":"M. Hanus. Integration of Funtions into Logic Programming: A Survey. MPI-Report MPI-I-94-201, Max-Planck-Institut f\u00fcr Informatik, Saarbr\u00fccken, 1994. To appear in Journal of Logic Programming."},{"key":"7_CR10","unstructured":"A. Herold. Narrowing Techniques Applied to Idempotent Unification. SEKI Report SR-86-16, Univ. Kaiserslautern, 1986."},{"key":"7_CR11","unstructured":"G. Huet and D.C. Oppen. Equations and Rewrite Rules: A Survey. In R. Book, editor, Formal Languages: Perspectives and Open Problems, Academic Press, 1980."},{"key":"7_CR12","volume-title":"LNCS 87","author":"J. M. Hullot","year":"1980","unstructured":"J. M. Hullot. Canonical Forms and Unification, In Proc. 5th Conference on Automated Deduction, Les Arcs, France, 1980, LNCS 87, Springer-Verlag."},{"key":"7_CR13","unstructured":"S. Krischer: Vergleich und Bewertung von Narrowing-Strategien. Diplomarbeit, Fakult\u00e4t f\u00fcr Informatik, Univ. Karlsruhe, 1990."},{"key":"7_CR14","volume-title":"LNCS 488","author":"S. Krischer","year":"1991","unstructured":"S. Krischer and A. Bockmayr. Detecting Redundant Narrowing Derivations by the LSE-SL Reducibility Test. In Proc. 4th International Conference on Rewr\u00edting Techniques and Applications, RTA-91, Como, LNCS 488, Springer-Verlag, 1991."},{"key":"7_CR15","volume-title":"LNCS 256","author":"P. R\u00e9ty","year":"1987","unstructured":"P. R\u00e9ty: Improving Basic Narrowing Techniques. In Proc. 2nd International Conference on Rewriting Techniques and Applications, RTA-87, Bordeaux, LNCS 256, Springer-Verlag, 1987."},{"key":"7_CR16","unstructured":"D. H. Warren: An Abstract Prolog Instruction Set. Technical Report 309, Artificial Intelligence Center, SRI International, 1983."},{"key":"7_CR17","unstructured":"A. Werner, A. Bockmayr and S. Krischer. How to Realize LSE Narrowing, Interner Bericht 6\/93, Fakult\u00e4t f\u00fcr Informatik, Univ. Karlsruhe, 1993."}],"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\/3-540-58431-5_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T12:21:40Z","timestamp":1558268500000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58431-5_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540584315","9783540487913"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-58431-5_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]},"assertion":[{"value":"30 May 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}