{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,27]],"date-time":"2026-06-27T04:45:58Z","timestamp":1782535558780,"version":"3.54.5"},"publisher-location":"Cham","reference-count":11,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783032297297","type":"print"},{"value":"9783032297303","type":"electronic"}],"license":[{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2026]]},"DOI":"10.1007\/978-3-032-29730-3_12","type":"book-chapter","created":{"date-parts":[[2026,6,27]],"date-time":"2026-06-27T04:06:28Z","timestamp":1782533188000},"page":"211-222","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["User-Defined Types and\u00a0Operations in\u00a0GROOVE"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-1714-6319","authenticated-orcid":false,"given":"Arend","family":"Rensink","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2026,6,28]]},"reference":[{"key":"12_CR1","doi-asserted-by":"publisher","unstructured":"Arendt, T., Biermann, E., Jurack, S., Krause, C., Taentzer, G.: Henshin: advanced concepts and tools for in-place EMF model transformations. In: Petriu, D.C., Rouquette, N., Haugen, \u00d8. (eds.) Model Driven Engineering Languages and Systems (MODELS), Part I. Lecture Notes in Computer Science, vol.\u00a06394, pp. 121\u2013135. Springer, Cham (2010). https:\/\/doi.org\/10.1007\/978-3-642-16145-2_9","DOI":"10.1007\/978-3-642-16145-2_9"},{"key":"12_CR2","doi-asserted-by":"publisher","unstructured":"Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamentals of Algebraic Graph Transformation. Monographs in Theoretical Computer Science. An EATCS Series, Springer, Heidelberg (2006). https:\/\/doi.org\/10.1007\/3-540-31188-2","DOI":"10.1007\/3-540-31188-2"},{"key":"12_CR3","doi-asserted-by":"publisher","unstructured":"Ehrig, H., Prange, U., Taentzer, G.: Fundamental theory for typed attributed graph transformation. In: Ehrig, H., Engels, G., Parisi-Presicce, F., Rozenberg, G. (eds.) Second International Conference on Graph Transformations (ICGT). LNCS, vol.\u00a03256, pp. 161\u2013177. Springer, Heidelberg (2004). https:\/\/doi.org\/10.1007\/978-3-540-30203-2_13","DOI":"10.1007\/978-3-540-30203-2_13"},{"key":"12_CR4","doi-asserted-by":"publisher","unstructured":"Kastenberg, H., Rensink, A.: Graph attribution through sub-graphs. In: Heckel, R., Taentzer, G. (eds.) Graph Transformation, Specifications, and Nets \u2014 In Memory of Hartmut Ehrig. Lecture Notes in Computer Science, vol. 10800, pp. 245\u2013265. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-75396-6_14","DOI":"10.1007\/978-3-319-75396-6_14"},{"key":"12_CR5","doi-asserted-by":"publisher","unstructured":"Manning, G., Plump, D.: The GP programming system. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 10 (2008). https:\/\/doi.org\/10.14279\/TUJ.ECEASST.10.150","DOI":"10.14279\/TUJ.ECEASST.10.150"},{"key":"12_CR6","unstructured":"Pierce, B.C.: Types and Programming Languages. MIT press (2002)"},{"key":"12_CR7","doi-asserted-by":"publisher","unstructured":"Plump, D.: The design of GP 2. In: Escobar, S. (ed.) 10th International Workshop on Reduction Strategies in Rewriting and Programming (WRS). EPTCS, vol.\u00a082, pp. 1\u201316 (2011). https:\/\/doi.org\/10.4204\/EPTCS.82.1","DOI":"10.4204\/EPTCS.82.1"},{"key":"12_CR8","doi-asserted-by":"publisher","unstructured":"Runge, O., Ermel, C., Taentzer, G.: AGG 2.0 - new features for specifying and analyzing algebraic graph transformations. In: Sch\u00fcrr, A., Varr\u00f3, D., Varr\u00f3, G. (eds.) Applications of Graph Transformations with Industrial Relevance - 4th International Symposium (AGTIVE). LNCS, vol.\u00a07233, pp. 81\u201388. Springer, Cham (2011). https:\/\/doi.org\/10.1007\/978-3-642-34176-2_8","DOI":"10.1007\/978-3-642-34176-2_8"},{"issue":"6","key":"12_CR9","doi-asserted-by":"publisher","first-page":"705","DOI":"10.1007\/S10009-018-0496-3","volume":"20","author":"S Schneider","year":"2018","unstructured":"Schneider, S., Lambers, L., Orejas, F.: Automated reasoning for attributed graph properties. Int. J. Softw. Tools Technol. Transf. 20(6), 705\u2013737 (2018). https:\/\/doi.org\/10.1007\/S10009-018-0496-3","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"key":"12_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"196","DOI":"10.1007\/978-3-319-61470-0_12","volume-title":"Graph Transformation","author":"D Str\u00fcber","year":"2017","unstructured":"Str\u00fcber, D., et al.: Henshin: a usability-focused framework for EMF model transformation development. In: de Lara, J., Plump, D. (eds.) ICGT 2017. LNCS, vol. 10373, pp. 196\u2013208. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-61470-0_12"},{"key":"12_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"446","DOI":"10.1007\/978-3-540-25959-6_35","volume-title":"Applications of Graph Transformations with Industrial Relevance","author":"G Taentzer","year":"2004","unstructured":"Taentzer, G.: AGG: a\u00a0graph transformation environment for modeling and validation of software. In: Pfaltz, J.L., Nagl, M., B\u00f6hlen, B. (eds.) AGTIVE 2003. LNCS, vol. 3062, pp. 446\u2013453. Springer, Heidelberg (2004). https:\/\/doi.org\/10.1007\/978-3-540-25959-6_35"}],"container-title":["Lecture Notes in Computer Science","Graph Transformation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-032-29730-3_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,6,27]],"date-time":"2026-06-27T04:06:29Z","timestamp":1782533189000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-29730-3_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026]]},"ISBN":["9783032297297","9783032297303"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-29730-3_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026]]},"assertion":[{"value":"28 June 2026","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"The author has no competing interests to declare that are relevant to the content of this article.","order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declaration of Interests"}},{"value":"ICGT","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Graph Transformation","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Rennes","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"France","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2026","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"1 July 2026","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2 July 2026","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"19","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"icgt2026","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/conf.researchr.org\/home\/icgt-2026","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}