{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T14:23:57Z","timestamp":1725459837400},"publisher-location":"Berlin\/Heidelberg","reference-count":7,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"354017219X"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0039631","type":"book-chapter","created":{"date-parts":[[2006,1,31]],"date-time":"2006-01-31T11:55:52Z","timestamp":1138708552000},"page":"472-473","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":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jean-Luc","family":"Remy","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"41_CR1","unstructured":"BOUSDIRA. W., REMY. J.L, Compl\u00e9tion des syst\u00e8mes de r\u00e9\u00e9criture conditionnelle, Rapport de recherche 86-R-120, C.R.I.N"},{"key":"41_CR2","unstructured":"LESCANNE. P, Uniform Termination of Term Rewriting Systems-Recursive Decomposition Ordering with Status, Proceedings 9th CAAP, Bordeaux, 1984"},{"key":"41_CR3","doi-asserted-by":"crossref","unstructured":"KNUTH. D, BENDIX. P, Simple Word Problems in Abstract Algebra, Leech J.ed, Pergamon Press, pp. 263\u2013297, 1970","DOI":"10.1016\/B978-0-08-012975-4.50028-X"},{"key":"41_CR4","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":"REMY. J.L, Etude des syst\u00e8mes de r\u00e9\u00e9criture conditionnelle et applications aux types abstraits alg\u00e9briques, Th\u00e8se d'Etat, I.N.P.L, Nancy, 1982"},{"key":"41_CR5","unstructured":"REMY. J.L, ZHANG. H, REVEUR4: A system for validating conditional algebraic specifications of abstract data types, Proc. of 6th ECAI Conference, Pisa, Italy, 1984"},{"key":"41_CR6","unstructured":"ZHANG. H, 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":"41_CR7","doi-asserted-by":"crossref","unstructured":"ZHANG. H, REMY. J.L, Contextual rewriting, Proc. of the 1st Conf. on Rewriting Techniques and Applications, Lect. Notes in Comp. Sci., 202, Dijon, France, 1985","DOI":"10.1007\/3-540-15976-2_2"}],"container-title":["Lecture Notes in Computer Science","STACS 87"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0039631.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,9]],"date-time":"2020-12-09T17:25:59Z","timestamp":1607534759000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0039631"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["354017219X"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/bfb0039631","relation":{},"subject":[]}}