{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T20:07:37Z","timestamp":1762459657436,"version":"3.37.3"},"publisher-location":"Cham","reference-count":10,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030047702"},{"type":"electronic","value":"9783030047719"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-030-04771-9_30","type":"book-chapter","created":{"date-parts":[[2018,12,5]],"date-time":"2018-12-05T17:02:53Z","timestamp":1544029373000},"page":"415-430","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["Short-Cut Rules"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-4996-4639","authenticated-orcid":false,"given":"Lars","family":"Fritsche","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4733-2777","authenticated-orcid":false,"given":"Jens","family":"Kosiol","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8100-1109","authenticated-orcid":false,"given":"Andy","family":"Sch\u00fcrr","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3975-5238","authenticated-orcid":false,"given":"Gabriele","family":"Taentzer","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,12,6]]},"reference":[{"issue":"2","key":"30_CR1","doi-asserted-by":"publisher","first-page":"377","DOI":"10.1016\/0022-0000(87)90030-4","volume":"34","author":"P Boehm","year":"1987","unstructured":"Boehm, P., Fonio, H.R., Habel, A.: Amalgamation of graph transformations. A synchronization mechanism. J. Comput. Syst. Sci. 34(2), 377\u2013408 (1987). \nhttps:\/\/doi.org\/10.1016\/0022-0000(87)90030-4","journal-title":"J. Comput. Syst. Sci."},{"key":"30_CR2","series-title":"Monographs in Theoretical Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-31188-2","volume-title":"Fundamentals of Algebraic Graph Transformation","author":"H Ehrig","year":"2006","unstructured":"Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamentals of Algebraic Graph Transformation. Monographs in Theoretical Computer Science. Springer, Heidelberg (2006). \nhttps:\/\/doi.org\/10.1007\/3-540-31188-2"},{"issue":"4","key":"30_CR3","doi-asserted-by":"publisher","first-page":"240406","DOI":"10.1017\/S0960129512000357","volume":"24","author":"H Ehrig","year":"2014","unstructured":"Ehrig, H., Golas, U., Habel, A., Lambers, L., Orejas, F.: $$\\cal{M}$$-adhesive transformation systems with nested application conditions. Part 1: parallelism, concurrency and amalgamation. Math. Struct. Comput. Sci. 24(4), 240406 (2014). \nhttps:\/\/doi.org\/10.1017\/S0960129512000357","journal-title":"Math. Struct. Comput. Sci."},{"key":"30_CR4","unstructured":"Fritsche, L., Kosiol, J., Sch\u00fcrr, A., Taentzer, G.: Short-cut rules. Sequential composition of rules avoiding unnecessary deletions: extended version. Technical report, Philipps-Universit\u00e4t Marburg (2018). \nhttps:\/\/www.uni-marburg.de\/fb12\/arbeitsgruppen\/swt\/forschung\/publikationen\/2018\/FKST18-TR.pdf"},{"issue":"2","key":"30_CR5","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1017\/S0960129508007202","volume":"19","author":"A Habel","year":"2009","unstructured":"Habel, A., Pennemann, K.H.: Correctness of high-level transformation systems relative to nested conditions. Math. Struct. Comput. Sci. 19(2), 245\u2013296 (2009). \nhttps:\/\/doi.org\/10.1017\/S0960129508007202","journal-title":"Math. Struct. Comput. Sci."},{"issue":"3","key":"30_CR6","doi-asserted-by":"publisher","first-page":"511","DOI":"10.1051\/ita:2005028","volume":"39","author":"S Lack","year":"2005","unstructured":"Lack, S., Soboci\u0144ski, P.: Adhesive and quasiadhesive categories. Theor. Inf. Appl. 39(3), 511\u2013545 (2005). \nhttps:\/\/doi.org\/10.1051\/ita:2005028","journal-title":"Theor. Inf. Appl."},{"key":"30_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1007\/978-3-319-61470-0_11","volume-title":"Graph Transformation","author":"E Leblebici","year":"2017","unstructured":"Leblebici, E., Anjorin, A., Fritsche, L., Varr\u00f3, G., Sch\u00fcrr, A.: Leveraging incremental pattern matching techniques for model synchronisation. In: de Lara, J., Plump, D. (eds.) ICGT 2017. LNCS, vol. 10373, pp. 179\u2013195. Springer, Cham (2017). \nhttps:\/\/doi.org\/10.1007\/978-3-319-61470-0_11"},{"key":"30_CR8","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1016\/j.jvlc.2016.03.001","volume":"42","author":"E Leblebici","year":"2017","unstructured":"Leblebici, E., Anjorin, A., Sch\u00fcrr, A., Taentzer, G.: Multi-amalgamated triple graph grammars: formal foundation and application to visual language translation. J. Vis. Lang. Comput. 42, 99\u2013121 (2017). \nhttps:\/\/doi.org\/10.1016\/j.jvlc.2016.03.001","journal-title":"J. Vis. Lang. Comput."},{"key":"30_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1007\/978-3-662-54494-5_11","volume-title":"Fundamental Approaches to Software Engineering","author":"E Leblebici","year":"2017","unstructured":"Leblebici, E., Anjorin, A., Sch\u00fcrr, A.: Inter-model consistency checking using triple graph grammars and linear optimization techniques. In: Huisman, M., Rubin, J. (eds.) FASE 2017. LNCS, vol. 10202, pp. 191\u2013207. Springer, Heidelberg (2017). \nhttps:\/\/doi.org\/10.1007\/978-3-662-54494-5_11"},{"key":"30_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1007\/3-540-59071-4_45","volume-title":"Graph-Theoretic Concepts in Computer Science","author":"A Sch\u00fcrr","year":"1995","unstructured":"Sch\u00fcrr, A.: Specification of graph translators with triple graph grammars. In: Mayr, E.W., Schmidt, G., Tinhofer, G. (eds.) WG 1994. LNCS, vol. 903, pp. 151\u2013163. Springer, Heidelberg (1995). \nhttps:\/\/doi.org\/10.1007\/3-540-59071-4_45"}],"container-title":["Lecture Notes in Computer Science","Software Technologies: Applications and Foundations"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-04771-9_30","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,12,5]],"date-time":"2018-12-05T17:18:26Z","timestamp":1544030306000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-04771-9_30"}},"subtitle":["Sequential Composition of Rules Avoiding Unnecessary Deletions"],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783030047702","9783030047719"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-04771-9_30","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]},"assertion":[{"value":"STAF","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Federation of International Conferences on Software Technologies: Applications and Foundations","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Toulouse","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":"2018","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"25 June 2018","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"29 June 2018","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"staf2018","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www.staf2018.fr\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}