{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T03:10:28Z","timestamp":1767237028356},"reference-count":13,"publisher":"Elsevier BV","issue":"4","license":[{"start":{"date-parts":[[2003,12,1]],"date-time":"2003-12-01T00:00:00Z","timestamp":1070236800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,29]],"date-time":"2013-07-29T00:00:00Z","timestamp":1375056000000},"content-version":"vor","delay-in-days":3528,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc-nd\/3.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Electronic Notes in Theoretical Computer Science"],"published-print":{"date-parts":[[2003,12]]},"DOI":"10.1016\/s1571-0661(05)82612-x","type":"journal-article","created":{"date-parts":[[2005,5,19]],"date-time":"2005-05-19T13:46:30Z","timestamp":1116510390000},"page":"570-592","source":"Crossref","is-referenced-by-count":1,"title":["Strategies and User Interfaces in Maude at Work"],"prefix":"10.1016","volume":"86","author":[{"given":"Manuel","family":"Clavel","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S1571-0661(05)82612-X_bib1","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1016\/S0304-3975(99)00206-6","article-title":"Specification and proof in membership equational logic","volume":"236","author":"Bouhoula","year":"2000","journal-title":"Theoretical Computer Science"},{"key":"10.1016\/S1571-0661(05)82612-X_bib3","series-title":"Reflection in Rewriting Logic: Metalogical Foundations and Metaprogramming Applications","author":"Manuel","year":"2000"},{"key":"10.1016\/S1571-0661(05)82612-X_bib4","article-title":"Maude: Specification and programming in rewriting logic","author":"Manuel","year":"2002","journal-title":"Theoretical Computer Science"},{"key":"10.1016\/S1571-0661(05)82612-X_bib5","author":"Manuel"},{"key":"10.1016\/S1571-0661(05)82612-X_bib6","series-title":"Cafe: An Industrial-Strength Algebraic Formal Method","first-page":"1","article-title":"Building equational proving tools by reflection in rewriting logic","author":"Manuel","year":"2000"},{"key":"10.1016\/S1571-0661(05)82612-X_bib7","doi-asserted-by":"crossref","unstructured":"Manuel Clavel, Francisco Dur\u00e1n, Steven Eker, Jos\u00e9 Meseguer, and mark-Oliver Stehr. Maude as a formal meta-tool. In Jeannette M. Wing. Jim Woodcock, and Jim Davies, editors, FM'99 \u2014 Formal Methods, World Congress on Formal Methods in the Development of Computing systems, Toulouse, France, September 20\u201324, 1999 Proceedings, volume II Volume 1709 of Lecture Notes in Computer Science, pages 1684\u20131703. Springer-Verlag, 1999.","DOI":"10.1007\/3-540-48118-4_39"},{"issue":"2","key":"10.1016\/S1571-0661(05)82612-X_bib8","doi-asserted-by":"crossref","first-page":"245","DOI":"10.1016\/S0304-3975(01)00360-7","article-title":"Reflection in conditional rewriting logic","volume":"285","author":"Manuel","year":"2002","journal-title":"Theoretical Computer Science"},{"key":"10.1016\/S1571-0661(05)82612-X_bib9","doi-asserted-by":"crossref","unstructured":"Manuel Clavel, Jos\u00e9 Meseguer, and Miguel Palomino. Reflection in membership equational logic, many-sorted equational logic, Horn logic with equality, and rewriting logic. In F. Gadducci and U. Montanari, editors, Pro. Fourth International Workshop on Rewriting Logic and its Application, Volume 71 of Electronic Notes in Theoretical Computer Science, pages 63\u201378. Elsevier, 2002.","DOI":"10.1016\/S1571-0661(05)82531-9"},{"key":"10.1016\/S1571-0661(05)82612-X_bib10","unstructured":"Francisco Dur\u00e1n. A Reflective Module Algebra with Applications to the Maude Language PhD thesis, Universidad de Malaga, Spain June 1999. http:\/\/maude.csl,sri.com\/papers"},{"issue":"1","key":"10.1016\/S1571-0661(05)82612-X_bib11","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1016\/0304-3975(92)90182-F","article-title":"Conditional rewriting logic as a unified model of concurrency","volume":"96","author":"Jos\u00e9","year":"1992","journal-title":"Theoretical Computer Science"},{"key":"10.1016\/S1571-0661(05)82612-X_bib12","doi-asserted-by":"crossref","unstructured":"Jos\u00e9 Meseguer. Membership algebra as a logical framework for equational specification. In Francesco Parisi-Presicce, editor, Recent Trends in Algebraic Development Techniques, 12, International Workshop, WADT'97, Taquinia, Italy, June 3\u20137, 1997, Selected Papers, volume 1376 of Lecture Notes in Computer Science, pages 18\u201361. Springer-Verlag, 1998.","DOI":"10.1007\/3-540-64299-4_26"},{"key":"10.1016\/S1571-0661(05)82612-X_bib13","doi-asserted-by":"crossref","unstructured":"Jos\u00e9 Meseguer. Research directions in rewriting logic. In U. Berger and H Schwichtenberg, editors, Computational Logic, Proceedings of the NATO Advanced Study Institute on Computational Logic held in Marktoberdorf, Germany, July 29\u2013August 6, 1997, volume 165 of NATO ASI Series F: Computer and Systems Sciences, pages 347\u2013398. Springer-Verlag, 1998.","DOI":"10.1007\/978-3-642-58622-4_10"},{"key":"10.1016\/S1571-0661(05)82612-X_bib14","unstructured":"Arie van Deursen. Executable Language Definitions. Phd thesis, University of Amsterdam, 1994."}],"container-title":["Electronic Notes in Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S157106610582612X?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S157106610582612X?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2020,4,7]],"date-time":"2020-04-07T11:07:45Z","timestamp":1586257665000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S157106610582612X"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003,12]]},"references-count":13,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2003,12]]}},"alternative-id":["S157106610582612X"],"URL":"https:\/\/doi.org\/10.1016\/s1571-0661(05)82612-x","relation":{},"ISSN":["1571-0661"],"issn-type":[{"value":"1571-0661","type":"print"}],"subject":[],"published":{"date-parts":[[2003,12]]}}}