{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:26:54Z","timestamp":1761611214380},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540672616"},{"type":"electronic","value":"9783540464280"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-46428-x_27","type":"book-chapter","created":{"date-parts":[[2007,8,1]],"date-time":"2007-08-01T02:01:06Z","timestamp":1185933666000},"page":"371-374","source":"Crossref","is-referenced-by-count":5,"title":["Using Maude"],"prefix":"10.1007","author":[{"given":"Manuel","family":"Clavel","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fransisco","family":"Dur\u00e1n","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Steven","family":"Eker","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Patrick","family":"Lincoln","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Narciso","family":"Mart\u00ed-Oliet","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jose","family":"Meseguer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jose F.","family":"Quesada","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2000,5,19]]},"reference":[{"doi-asserted-by":"crossref","unstructured":"Manuel Clavel. Reflection in general logics and in rewriting logic, with applications to the Maude language. Ph.D. Thesis, University of Navarre, 1998.","key":"27_CR1","DOI":"10.1016\/S1571-0661(05)82553-8"},{"unstructured":"Manuel Clavel, Francisco Dur\u00e1n, Steven Eker, Patrick Lincoln, Narciso Mart\u00ed-Oliet, Jos\u00e9 Meseguer, and Jos\u00e9 Quesada. Maude: specification and programming in rewriting logic. SRI International, January 1999, http:\/\/www.maude.csl.sri.com .","key":"27_CR2"},{"unstructured":"Manuel Clavel, Francisco Dur\u00e1n, Steven Eker, and Jos\u00e9 Meseguer. Building equational proving tools by reflection in rewriting logic. In Proc. of the CafeOBJ Symposium\u2019 98, Numazu, Japan. CafeOBJ Project, April 1998. http:\/\/www.maude.csl.sri.com .","key":"27_CR3"},{"unstructured":"Manuel Clavel and Jos\u00e9 Meseguer. Reflection and strategies in rewriting logic. In J. Meseguer, editor, Proc. First Intl. Workshop on Rewriting Logic and its Applications, volume 4 of Electronic Notes in Theoretical Computer Science. Elsevier, 1996. http:\/\/www.elsevier.nl\/cas\/tree\/store\/tcs\/free\/noncas\/pc\/volume4.htm .","key":"27_CR4"},{"unstructured":"Manuel Clavel and Jos\u00e9 Meseguer. Internal strategies in a reflective logic. In B. Gramlich and H. Kirchner, editors, Proceedings of the CADE-14 Workshop on Strategies in Automated Deduction (Townsville, Australia, July 1997), pages 1\u201312, 1997.","key":"27_CR5"},{"unstructured":"Francisco Dur\u00e1n. A reflective module algebra with applications to the Maude language. Ph.D. Thesis, University of Malaga, 1999.","key":"27_CR6"},{"issue":"1","key":"27_CR7","doi-asserted-by":"publisher","first-page":"730","DOI":"10.1016\/0304-3975(92)90182-F","volume":"96","author":"J. Meseguer","year":"1992","unstructured":"Jos\u00e9 Meseguer. Conditional rewriting logic as a unified model of concurrency. Theoretical Computer Science, 96(1):730\u2013155, 1992.","journal-title":"Theoretical Computer Science"},{"key":"27_CR8","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1007\/BF02573590","volume":"25","author":"J. Siekmann","year":"1982","unstructured":"J. Siekmann and P. Szabo. A noetherian and confluent rewrite system for idempotent semigroups. Semigroup Forum, 25:83\u2013110, 1982.","journal-title":"Semigroup Forum"}],"container-title":["Lecture Notes in Computer Science","Fundamental Approaches to Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-46428-X_27","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,1]],"date-time":"2019-05-01T16:29:11Z","timestamp":1556728151000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-46428-X_27"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540672616","9783540464280"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/3-540-46428-x_27","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]}}}