{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:58:47Z","timestamp":1725663527193},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540192428"},{"type":"electronic","value":"9783540391661"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1988]]},"DOI":"10.1007\/3-540-19242-5_21","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T20:04:59Z","timestamp":1330200299000},"page":"253-257","source":"Crossref","is-referenced-by-count":0,"title":["REVEUR4: A laboratory for conditional rewriting"],"prefix":"10.1007","author":[{"given":"Wadoud","family":"Bousdira","sequence":"first","affiliation":[]},{"given":"Jean-Luc","family":"R\u00e9my","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,27]]},"reference":[{"key":"21_CR1","unstructured":"W. Bousdira and J.L. R\u00e9my. Compl\u00e9tion des syst\u00e8mes de r\u00e9\u00e9criture conditionnelle. AFCET, Actes des journ\u00e9es GROSPLAN, revue BIGRE+GLOBULE, 1987."},{"key":"21_CR2","volume-title":"5th Annual Symposium on Theoretical Aspects of Computer Science, Bordeaux, Lect. Notes in Comp. Sc","author":"W. Bousdira","year":"1988","unstructured":"W. Bousdira and J.L. R\u00e9my. Hierarchical contextual rewriting with several levels. In 5th Annual Symposium on Theoretical Aspects of Computer Science, Bordeaux, Lect. Notes in Comp. Sc, Springer, Berlin, 1988."},{"issue":"1","key":"21_CR3","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1016\/S0747-7171(87)80022-6","volume":"3","author":"N. Dershowitz","year":"1987","unstructured":"N. Dershowitz. Termination. Journal of Symbolic Computation, 3(1):69\u2013115, 1987.","journal-title":"Journal of Symbolic Computation"},{"key":"21_CR4","series-title":"Lect. Notes in Comp. Sc.","doi-asserted-by":"crossref","first-page":"286","DOI":"10.1007\/BFb0039613","volume-title":"Ground term confluence in parametric conditional equational specifications","author":"H. Ganzinger","year":"1987","unstructured":"H. Ganzinger. Ground term confluence in parametric conditional equational specifications. In F.J. Brandenburg, G. Vidal-Naquet, and M. Wirsing, editors, 4th Annual Symposium on Theoretical Aspects of Computer Science, Passau, West Germany, Lect. Notes in Comp. Sc. No 247, pages 286\u2013298, Springer, Berlin, 1987."},{"key":"21_CR5","first-page":"263","volume-title":"Computational Problems in Abstract Algebra","author":"D. Knuth","year":"1970","unstructured":"D. Knuth and P. Bendix. Simple word problems in universal algebras. In J. Leech, editor, Computational Problems in Abstract Algebra, pages 263\u2013297, Pergamon Press, Elmsford, N.Y., 1970."},{"key":"21_CR6","volume-title":"Etude des syst\u00e8mes de r\u00e9\u00e9criture conditionnelle et applications aux types abstraits alg\u00e9briques","author":"J. L. Remy","year":"1982","unstructured":"J.L. REMY. Etude des syst\u00e8mes de r\u00e9\u00e9criture conditionnelle et applications aux types abstraits alg\u00e9briques. Th\u00e8se d'Etat de l'Institut National Polytechnique de Lorraine, Nancy, 1982."},{"key":"21_CR7","unstructured":"J.L. R\u00e9my and H. Zhang. Reveur4: a system for validating conditional algebraic specifications of abstract data types. In 6th ECAI Conference, Pisa, Italy, 1984."},{"key":"21_CR8","unstructured":"H. Zhang. REVEUR4: Etude et mise en oeuvre de la r\u00e9\u00e9criture conditionnelle. Th\u00e8se de 3\u00e8me cycle, Universit\u00e9 de Nancy 1, 1984."},{"key":"21_CR9","series-title":"Lect. Notes in Comp. Sc.","doi-asserted-by":"crossref","first-page":"46","DOI":"10.1007\/3-540-15976-2_2","volume-title":"Contextual rewriting","author":"H. Zhang","year":"1985","unstructured":"H. Zhang and J.L. R\u00e9my. Contextual rewriting. In J.P. Jouannaud, editor, 1st Conference on Rewriting Techniques and Applications, Dijon, France, Lect. Notes in Comp. Sc. No 202, pages 46\u201362, Springer, Berlin, 1985."}],"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-19242-5_21.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T21:20:15Z","timestamp":1619558415000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-19242-5_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1988]]},"ISBN":["9783540192428","9783540391661"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/3-540-19242-5_21","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1988]]}}}