{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T20:33:48Z","timestamp":1761597228338},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540223818"},{"type":"electronic","value":"9783540278153"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-27815-3_10","type":"book-chapter","created":{"date-parts":[[2010,9,14]],"date-time":"2010-09-14T00:32:16Z","timestamp":1284424336000},"page":"72-86","source":"Crossref","is-referenced-by-count":4,"title":["Formalizing and Proving Semantic Relations between Specifications by Reflection"],"prefix":"10.1007","author":[{"given":"Manuel","family":"Clavel","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Narciso","family":"Mart\u00ed-Oliet","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Miguel","family":"Palomino","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"10_CR1","doi-asserted-by":"crossref","unstructured":"Basin, D., Clavel, M., Meseguer, J.: Reflective metalogical frameworks. ACM Transactions on Computational Logic (2004) (to appear), http:\/\/www.acm.org\/pubs\/tocl\/accepted.html","DOI":"10.1145\/1013560.1013566"},{"key":"10_CR2","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1016\/S0304-3975(99)00206-6","volume":"236","author":"J.-P. Bouhoula","year":"2000","unstructured":"Bouhoula, J.-P.: Jouannaud, and J. Meseguer. Specification and proof in membership equational logic. Theoretical Computer Science\u00a0236, 35\u2013132 (2000)","journal-title":"Theoretical Computer Science"},{"key":"10_CR3","volume-title":"Reflection in Rewriting Logic: Metalogical Foundations and Metaprogramming Applications","author":"M. Clavel","year":"2000","unstructured":"Clavel, M.: Reflection in Rewriting Logic: Metalogical Foundations and Metaprogramming Applications. CSLI Publications, Stanford (2000)"},{"key":"10_CR4","unstructured":"Clavel, M.: The ITP tool\u2019s home page (2004), http:\/\/geminis.sip.ucm.es\/~clavel\/itp"},{"key":"10_CR5","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1016\/S0304-3975(01)00359-0","volume":"285","author":"M. Clavel","year":"2002","unstructured":"Clavel, M., Dur\u00e1n, F., Eker, S., Lincoln, P., Mart\u00b4\u0131-Oliet, N., Meseguer, J., Quesada, J.F.: Maude: Specification and programming in rewriting logic. Theoretical Computer Science\u00a0285, 187\u2013243 (2002)","journal-title":"Theoretical Computer Science"},{"key":"10_CR6","doi-asserted-by":"crossref","unstructured":"Clavel, M., Dur\u00e1n, F., Eker, S., Lincoln, P., Mart\u00b4\u0131-Oliet, N., Meseguer, J., Talcott, C.: Maude Manual (Version 2.1). Manual distributed as documentation of the Maude system (2004), http:\/\/maude.cs.uiuc.edu","DOI":"10.1007\/3-540-44881-0_7"},{"key":"10_CR7","doi-asserted-by":"crossref","unstructured":"Clavel, M., Mart\u00ed-Oliet, N., Palomino, M.: Formalizing and proving semantic relations between specifications by reflection, extended version (2004), http:\/\/geminis.sip.ucm.es\/~clavel\/pubs\/pubs.html","DOI":"10.1007\/978-3-540-27815-3_10"},{"key":"10_CR8","unstructured":"Clavel, M., Meseguer, J.: Axiomatizing reflective logics and languages. In: Kiczales, G. (ed.) Proc. Reflection 1996. Xerox PARC, pp. 263\u2013288 (1996)"},{"key":"10_CR9","doi-asserted-by":"crossref","unstructured":"Clavel, M., Meseguer, J., Palomino, M.: Reflection in membership equational logic, many-sorted equational logic, Horn logic with equality, and rewriting logic. In: Gadducci, F., Montanari, U. (eds.) Proc. Fourth International Workshop on Rewriting Logic and its Applications. Electronic Notes in Theoretical Computer Science, vol.\u00a071, pp. 63\u201378. Elsevier, Amsterdam (2002), http:\/\/geminis.sip.ucm.es\/~clavel\/pubs\/pubs.html","DOI":"10.1016\/S1571-0661(05)82531-9"},{"key":"10_CR10","volume-title":"Fundamentals of Algebraic Specification 1, EATCS Monographs on Theoretical Computer Science","author":"H. Ehrig","year":"1985","unstructured":"Ehrig, H., Mahr, B.: Fundamentals of Algebraic Specification 1, EATCS Monographs on Theoretical Computer Science, vol.\u00a06. Springer, Heidelberg (1985)"},{"key":"10_CR11","unstructured":"Loeckx, J., Ehrich, H.-D., Wolf, M.: Specification of Abstract Data Types. J. Wiley & Sons and B.G. Teubner (1996)"},{"key":"10_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"18","DOI":"10.1007\/3-540-64299-4_26","volume-title":"Recent Trends in Algebraic Development Techniques","author":"J. Meseguer","year":"1998","unstructured":"Meseguer, J.: Membership algebra as a logical framework for equational specification. In: Parisi-Presicce, F. (ed.) WADT 1997. LNCS, vol.\u00a01376, pp. 18\u201361. Springer, Heidelberg (1998)"}],"container-title":["Lecture Notes in Computer Science","Algebraic Methodology and Software Technology"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-27815-3_10.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,18]],"date-time":"2020-11-18T23:22:25Z","timestamp":1605741745000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-27815-3_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540223818","9783540278153"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-27815-3_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}