{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:10:49Z","timestamp":1725664249610},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540577850"},{"type":"electronic","value":"9783540483328"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-57785-8_140","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T08:18:54Z","timestamp":1330244334000},"page":"175-186","source":"Crossref","is-referenced-by-count":6,"title":["About changing the ordering during Knuth-Bendix completion"],"prefix":"10.1007","author":[{"given":"Andrea","family":"Sattler-Klein","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"14_CR1","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1016\/S0747-7171(87)80021-4","volume":"3","author":"R.V. Book","year":"1987","unstructured":"R.V. Book. Thue systems as rewriting systems. Journal Symbolic Computation 3 (1987), 39\u201368.","journal-title":"Journal Symbolic Computation"},{"key":"14_CR2","volume-title":"Texts and Monographs in Computer Science","author":"R.V. Book","year":"1993","unstructured":"R.V. Book, F. Otto. String-Rewriting Systems. Texts and Monographs in Computer Science (Springer, New York, 1993)."},{"issue":"3","key":"14_CR3","doi-asserted-by":"crossref","first-page":"279","DOI":"10.1016\/0304-3975(82)90026-3","volume":"17","author":"N. Dershowitz","year":"1982","unstructured":"N. Dershowitz. Orderings for term-rewriting systems. Theoretical Computer Science 17(3) (1982), 279\u2013301.","journal-title":"Theoretical Computer Science"},{"key":"14_CR4","first-page":"31","volume-title":"Resolution of Equations in Algebraic Structures, Vol. II: Rewriting Techniques","author":"N. Dershowitz","year":"1989","unstructured":"N. Dershowitz. Completion and its applications. In: H. Ait-Kaci and M. Nivat(eds.): Resolution of Equations in Algebraic Structures, Vol. II: Rewriting Techniques (Academic Press, New York, 1989), 31\u201386."},{"key":"14_CR5","first-page":"445","volume-title":"Lecture Notes in Computer Science 488","author":"N. Dershowitz","year":"1991","unstructured":"N. Dershowitz, J.-P. Jouannaud, J.W. Klop. Open Problems in Rewriting. In: Proc. Fourth International Conference on Rewriting Techniques and Applications, Como, Italy, Lecture Notes in Computer Science 488 (Springer, Berlin, 1991), 445\u2013456."},{"key":"14_CR6","first-page":"468","volume-title":"Lecture Notes in Computer Science 690","author":"N. Dershowitz","year":"1993","unstructured":"N. Dershowitz, J.-P. Jouannaud, J.W. Klop. More Problems in Rewriting. In: Proc. Fifth International Conference on Rewriting Techniques and Applications, Montreal, Canada, Lecture Notes in Computer Science 690 (Springer, Berlin, 1993), 468\u2013487."},{"key":"14_CR7","unstructured":"M. Hermann. Vademecum of divergent term rewriting systems. CRIN Report 88-R-082 (Centre de Recherche en Informatique de Nancy, 1988)."},{"issue":"4","key":"14_CR8","doi-asserted-by":"crossref","first-page":"797","DOI":"10.1145\/322217.322230","volume":"27","author":"G. Huet","year":"1980","unstructured":"G. Huet. Confluent reductions: Abstract properties and applications to term rewriting systems. Journal of the ACM 27(4) (1980), 797\u2013821.","journal-title":"Journal of the ACM"},{"issue":"1","key":"14_CR9","doi-asserted-by":"crossref","first-page":"11","DOI":"10.1016\/0022-0000(81)90002-7","volume":"23","author":"G. Huet","year":"1981","unstructured":"G. Huet. A complete proof of correctness of the Knuth-Bendix completion algorithm. Journal Computer and System Science 23(1) (1981), 11\u201321.","journal-title":"Journal Computer and System Science"},{"key":"14_CR10","volume-title":"EATCS Monographs on Theoretical Computer Science Vol. 14","author":"M. Jantzen","year":"1988","unstructured":"M. Jantzen. Confluent String Rewriting. EATCS Monographs on Theoretical Computer Science Vol. 14 (Springer, Berlin\u2014Heidelberg, 1988)."},{"key":"14_CR11","unstructured":"D. Kapur, H. Zhang. RRL: Rewrite Rule Laboratory \u2014 User's Manual, GE Corporate Research and Development Report, Schenectady, New York, 1987 (revised version: May 1989)."},{"key":"14_CR12","first-page":"263","volume-title":"Computational Problems in Abstract Algebra","author":"D.E. Knuth","year":"1970","unstructured":"D.E. Knuth, P. Bendix. Simple word problems in universal algebras. In: J. Leech (ed.): Computational Problems in Abstract Algebra (Pergamon, New York, 1970), 263\u2013297."},{"key":"14_CR13","first-page":"79","volume-title":"Lecture Notes in Computer Science 230","author":"D.A. Plaisted","year":"1986","unstructured":"D.A. Plaisted. A simple non-termination test for the Knuth-Bendix method. In: Proc. Eighth International Conference on Automated Deduction, Oxford, England, Lecture Notes in Computer Science 230 (Springer, Berlin, 1986), 79\u201388."},{"key":"14_CR14","first-page":"54","volume-title":"Lecture Notes in Computer Science 256","author":"P. Purdom","year":"1987","unstructured":"P. Purdom. Detecting loop simplifications. In: Proc. Second International Conference on Rewriting Techniques and Applications, Bordeaux, France, Lecture Notes in Computer Science 256 (Springer, Berlin, 1987), 54\u201361."},{"key":"14_CR15","doi-asserted-by":"crossref","unstructured":"A. Sattler-Klein. About changing the ordering during Knuth-Bendix completion. Internal report (Universit\u00e4t Kaiserslautern, 1993). To appear.","DOI":"10.1007\/3-540-57785-8_140"},{"key":"14_CR16","unstructured":"J. Steinbach. Comparing on Strings: Iterated Syllable Ordering and Recursive Path Orderings. SEKI Report SR-89-15 (Universit\u00e4t Kaiserslautern, 1989)."}],"container-title":["Lecture Notes in Computer Science","STACS 94"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-57785-8_140.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T16:13:54Z","timestamp":1605629634000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-57785-8_140"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540577850","9783540483328"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-57785-8_140","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}