{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:58:31Z","timestamp":1725663511646},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540563938"},{"type":"electronic","value":"9783540475491"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-56393-8_28","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T11:07:59Z","timestamp":1330254479000},"page":"363-377","source":"Crossref","is-referenced-by-count":9,"title":["Implementing contextual rewriting"],"prefix":"10.1007","author":[{"given":"Hantao","family":"Zhang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,30]]},"reference":[{"key":"28_CR1","volume-title":"A Computational Logic","author":"R. S. Boyer","year":"1979","unstructured":"Boyer, R.S., Moore, J. S.: (1979) A Computational Logic. Academic Press, New York."},{"key":"28_CR2","first-page":"2","volume-title":"Conditional rewriting in Focus","author":"F. Bronsard","year":"1991","unstructured":"Bronsard, F., Reddy, U.S.: (1991) Conditional rewriting in Focus. In Kaplan, S., Okada, N. (eds): Procs. of Second International CTRS Workshop. pp. 2\u201313. Springer-Verlag, Berlin."},{"key":"28_CR3","doi-asserted-by":"crossref","unstructured":"Bronsard, F., Reddy, U.S.: (1992) Reduction techniques for first-order reasoning. In Rusinowitch, M., Remy, J.L.: (eds): Procs. of Third International CTRS Workshop.","DOI":"10.1007\/3-540-56393-8_18"},{"issue":"3","key":"28_CR4","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1016\/0304-3975(82)90026-3","volume":"17","author":"N. Dershowitz","year":"1982","unstructured":"Dershowitz, N.: (1982) Ordering for term-rewriting systems. Theoretical Computer Science 17(3), 279\u2013301.","journal-title":"Theoretical Computer Science"},{"key":"28_CR5","first-page":"243","volume-title":"Handbook of Theoretical Computer Science B: Formal Methods and Semantics","author":"N. Dershowitz","year":"1990","unstructured":"Dershowitz, N., Jouannaud J.P.: (1990) Rewrite systems. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science B: Formal Methods and Semantics, chapter 6, pages 243\u2013320, North-Holland, Amsterdam."},{"key":"28_CR6","unstructured":"Ganzinger, H.: (1987) A completion procedure for conditional equations. In Kaplan, S., Jouannaud, J.-P. (eds) Proc. of Conditional Term Rewriting Systems. Lecture Notes in Computer Science, vol. 308. pp. 62\u201383."},{"key":"28_CR7","doi-asserted-by":"crossref","unstructured":"Hsiang, J., Rusinowitch, M.: (1986) A new method for establishing refutational completeness in theorem proving. In: Siekmann, J.H. (ed.): Proc. of 8th conference on automated deduction, Lecture Notes in Computer Science 230, Springer, pp. 141\u2013152","DOI":"10.1007\/3-540-16780-3_86"},{"key":"28_CR8","volume-title":"Technical Report","author":"S. Kaplan","year":"1984","unstructured":"Kaplan S.: (1984) Fair conditional term rewriting systems: unification, termination and confluence. Technical Report, LRI, Orsay."},{"key":"28_CR9","doi-asserted-by":"crossref","unstructured":"Kapur, D., Zhang, H.: (1989) An overview of RRL: Rewrite Rule Laboratory. In: Dershowitz, N. (ed.): Proc. of the third international conference on rewriting techniques and its applications. Lecture Notes in Computer Science 355, Springer. pp. 513\u2013529.","DOI":"10.1007\/3-540-51081-8_138"},{"key":"28_CR10","first-page":"263","volume-title":"Computational problems in abstract algebra","author":"D. Knuth","year":"1970","unstructured":"Knuth, D., Bendix, P.: (1970) Simple word problems in universal algebras. In: Leech, (ed.) Computational problems in abstract algebra. New York: Pergamon Press. pp. 263\u2013297."},{"key":"28_CR11","volume-title":"Report MTP-6","author":"D. S. Lankford","year":"1979","unstructured":"Lankford, D.S.: (1979) Some new approaches to the theory and applications of conditional term rewriting systems. Report MTP-6, Dept. of Mathematics, Lousiana Tech University, Ruston, LA."},{"key":"28_CR12","volume-title":"These d'etat","author":"J. L. Remy","year":"1982","unstructured":"Remy, J.L.: (1982) Etudes des systemes reecriture conditionelles et applications aux types abstraits algebriques. These d'etat, Universite de Nancy I, Nancy, France."},{"key":"28_CR13","volume-title":"Ph.D. Thesis","author":"H. Zhang","year":"1988","unstructured":"Zhang, H.: (1988) Reduction, superposition and induction: automated reasoning in an equational logic. Ph.D. Thesis, Department of Computer Science, Rensselaer Polytechnic Institute, Troy, NY."},{"key":"28_CR14","unstructured":"Zhang, H., Kapur, D.: (1988) First-order logic theorem proving using conditional rewrite rules. In: Lusk, E., Overbeek, lt., (eds.): Proc. of 9th international conference on automated deduction. Lecture Notes in Computer Science 310, Springer, pp. 1\u201320."},{"key":"28_CR15","unstructured":"Zhang, H., Hua, X.: (1992) Proving Ramsey theorem by cover-set induction: a case and comparison study. Presented at Second International Symposium on Artificial Intelligence and Mathematics. Fort Lauderdale, Florida."},{"key":"28_CR16","doi-asserted-by":"crossref","unstructured":"Zhang, H., Remy, J.L.: (1985) Contextual rewriting. In Jouannaud, J.P. (ed.): Proc. of 1st International Conference on Rewriting Techniques and Applications, Lecture Notes in Computer Science 202, Springer. pp. 1\u201320.","DOI":"10.1007\/3-540-15976-2_2"}],"container-title":["Lecture Notes in Computer Science","Conditional Term Rewriting Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-56393-8_28.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,31]],"date-time":"2021-12-31T04:46:29Z","timestamp":1640925989000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-56393-8_28"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540563938","9783540475491"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-56393-8_28","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]}}}