{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T13:00:23Z","timestamp":1725627623327},"publisher-location":"Berlin, Heidelberg","reference-count":6,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540168089"},{"type":"electronic","value":"9783642713859"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1986]]},"DOI":"10.1007\/978-3-642-71385-9_25","type":"book-chapter","created":{"date-parts":[[2011,11,2]],"date-time":"2011-11-02T10:20:41Z","timestamp":1320229241000},"page":"242-253","source":"Crossref","is-referenced-by-count":2,"title":["Effiziente Reduktionsstrategien in Termersetzungssystemen"],"prefix":"10.1007","author":[{"given":"J\u00fcrgen","family":"M\u00fcller","sequence":"first","affiliation":[]},{"given":"Elvira","family":"Wagner","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"25_CR1","unstructured":"Forgaard, R., Guttag, J.V.: \u201cREVE: a term rewriting system generator with failure-resistant Knuth-Bendix\u201d. Proc. of an NSF Workshop on the rewrite rule laboratory, Sep. 83 (ed. Guttag, Kapur, Musser) General-Electrics-Rep. No. 84GEN008, April 84."},{"key":"25_CR2","doi-asserted-by":"crossref","unstructured":"Gallier, J., Book, R.V.: \u201cReductions in Tree Replacement Systems\u201d: Theoretical Computer Science 37 (85) 123\u2013150.","DOI":"10.1016\/0304-3975(85)90089-1"},{"key":"25_CR3","doi-asserted-by":"crossref","unstructured":"K\u00fcchlin, W.: \u201cSome Reduction Strategies For Algebraic Term Rewriting\u201d. SIGSAM Bulletin 16, 4 (Nov. 82 ), 13\u201323.","DOI":"10.1145\/1089310.1089315"},{"key":"25_CR4","unstructured":"Kapur, D., Sivakumar, G.: \u201cArchitecture of and Experiments with RRL a Rewrite Rule Laboratory\u201d. Proc. of a NSF Workshop on the rewrite rule laboratory, Sep. 83 (ed. Guttag, Kapur, Musser) General-Electrics-Rep. No. 84GEN008, April 84."},{"key":"25_CR5","unstructured":"Stickel, M.E.: \u201cA Note on Leftmost Innermost Reduction\u201d, SIGSAN Bulletin 17, 3+4 (1983)."},{"key":"25_CR6","volume-title":"Strategien f\u00fcr den Knuth-Bendix Algorithmus. Diplomarbeit","author":"E Wagner","year":"1986","unstructured":"Wagner, E.: Strategien f\u00fcr den Knuth-Bendix Algorithmus. Diplomarbeit, Universit\u00e4t Kaiserslautern, FB Informatik, 1986."}],"container-title":["Informatik-Fachberichte","GWAI-86 und 2. \u00d6sterreichische Artificial-Intelligence-Tagung"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-71385-9_25.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T23:12:14Z","timestamp":1606259534000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-71385-9_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1986]]},"ISBN":["9783540168089","9783642713859"],"references-count":6,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-71385-9_25","relation":{},"ISSN":["0343-3005"],"issn-type":[{"type":"print","value":"0343-3005"}],"subject":[],"published":{"date-parts":[[1986]]}}}