{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,27]],"date-time":"2026-06-27T14:59:27Z","timestamp":1782572367878,"version":"3.54.5"},"reference-count":53,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[2018,6,30]],"date-time":"2018-06-30T00:00:00Z","timestamp":1530316800000},"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":["Int J Softw Tools Technol Transfer"],"published-print":{"date-parts":[[2018,11]]},"DOI":"10.1007\/s10009-018-0496-3","type":"journal-article","created":{"date-parts":[[2018,6,30]],"date-time":"2018-06-30T16:13:57Z","timestamp":1530375237000},"page":"705-737","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":29,"title":["Automated reasoning for attributed graph properties"],"prefix":"10.1007","volume":"20","author":[{"given":"Sven","family":"Schneider","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Leen","family":"Lambers","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Fernando","family":"Orejas","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2018,6,30]]},"reference":[{"key":"496_CR1","volume-title":"Foundations of Databases: The Logical Level","year":"1995","unstructured":"Abiteboul, S., Hull, R., Vianu, V. (eds.): Foundations of Databases: The Logical Level, 1st edn. Addison-Wesley Longman Publishing Co., Inc., Boston, MA (1995)","edition":"1"},{"key":"496_CR2","unstructured":"Angles, R., Arenas, M., Barcel\u00f3, P., Hogan, A., Reutter, J.L., Vrgoc, D.: Foundations of modern graph query languages. CoRR, abs\/1610.06264 (2016)"},{"issue":"1","key":"496_CR3","doi-asserted-by":"publisher","first-page":"1:1","DOI":"10.1145\/1322432.1322433","volume":"40","author":"R Angles","year":"2008","unstructured":"Angles, R., Gutierrez, C.: Survey of graph database models. ACM Comput. Surv. 40(1), 1:1\u20131:39 (2008)","journal-title":"ACM Comput. Surv."},{"issue":"3","key":"496_CR4","doi-asserted-by":"publisher","first-page":"811","DOI":"10.1007\/s10270-014-0441-1","volume":"15","author":"K Bak","year":"2016","unstructured":"Bak, K., Diskin, Z., Antkiewicz, M., Czarnecki, K., Wasowski, A.: Clafer: unifying class and feature modeling. Softw. Syst. Model. 15(3), 811\u2013845 (2016)","journal-title":"Softw. Syst. Model."},{"key":"496_CR5","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1002\/9781118558096.ch3","volume-title":"Model-Driven Engineering for Distributed Real-Time Systems","author":"Benoit Baudry","year":"2013","unstructured":"Baudry, B.: Testing model transformations: a case for test generation from input domain models. In: Model-Driven Engineering for Distributed Real-Time Systems, Chap. 3, pp. 43\u201372. Wiley (2013). https:\/\/doi.org\/10.1002\/9781118558096.ch3"},{"key":"496_CR6","doi-asserted-by":"publisher","first-page":"170","DOI":"10.1007\/978-3-319-40530-8_11","volume-title":"Graph Transformation","author":"Thomas Beyhl","year":"2016","unstructured":"Beyhl, T., Blouin, D., Giese, H., Lambers, L.: On the operationalization of graph queries with generalized discrimination networks. In: Echahed and Minas [12], pp. 170\u2013186"},{"key":"496_CR7","unstructured":"Blanco, R., Tuya, J.: A test model for graph database applications: an MDA-based approach. In: Vos Tanja E.J. Eldh, S., Prasetya, W. (eds.) Proceedings of the 6th International Workshop on Automating Test Case Design, Selection and Evaluation, A-TEST 2015, Bergamo, Italy, August 30\u201331, 2015, pp. 8\u201315. ACM (2015)"},{"issue":"6","key":"496_CR8","doi-asserted-by":"publisher","first-page":"377","DOI":"10.1145\/362384.362685","volume":"13","author":"EF Codd","year":"1970","unstructured":"Codd, E.F.: A relational model of data for large shared data banks. Commun. ACM 13(6), 377\u2013387 (1970)","journal-title":"Commun. ACM"},{"key":"496_CR9","doi-asserted-by":"publisher","first-page":"313","DOI":"10.1142\/9789812384720_0005","volume-title":"Handbook of Graph Grammars and Computing by Graph Transformation","author":"B. COURCELLE","year":"1997","unstructured":"Courcelle, B.: The expression of graph properties and graph transformations in monadic second-order logic. In: Rozenberg [44], pp. 313\u2013400"},{"key":"496_CR10","doi-asserted-by":"publisher","first-page":"430","DOI":"10.1007\/978-3-319-46397-1_33","volume-title":"Conceptual Modeling","author":"Gwendal Daniel","year":"2016","unstructured":"Daniel, G., Suny\u00e9, G., Cabot, J.: Umltographdb: mapping conceptual schemas to graph databases. In: Comyn-Wattiau, I., Tanaka, K., Song, I.-Y., Yamamoto, S., Saeki, M. (eds.) Conceptual Modeling\u201435th International Conference, volume 9974 of Lecture Notes in Computer Science, pp. 430\u2013444 (2016)"},{"key":"496_CR11","unstructured":"Deckwerth, F.: Static verification techniques for attributed graph transformations. Ph.D. thesis, Darmstadt University of Technology, Germany (2017)"},{"key":"496_CR12","unstructured":"Echahed, R., Minas, M. (eds.): Graph Transformation\u20149th International Conference, ICGT 2016, in Memory of Hartmut Ehrig, Held as Part of STAF 2016, Vienna, Austria, July 5\u20136, 2016, Proceedings, volume 9761 of Lecture Notes in Computer Science. Springer (2016)"},{"key":"496_CR13","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. Springer, Berlin (2006)"},{"issue":"1\u20132","key":"496_CR14","doi-asserted-by":"publisher","first-page":"35","DOI":"10.3233\/FI-2012-705","volume":"118","author":"H Ehrig","year":"2012","unstructured":"Ehrig, H., Golas, U., Habel, A., Lambers, L., Orejas, F.: $$\\cal{M}$$ M -adhesive transformation systems with nested application conditions. Part 2: embedding, critical pairs and local confluence. Fundam. Inform. 118(1\u20132), 35\u201363 (2012). https:\/\/doi.org\/10.3233\/FI-2012-705","journal-title":"Inform."},{"key":"496_CR15","doi-asserted-by":"crossref","unstructured":"Ehrig, H., Heckel, R., Rozenberg, G., Taentzer, G., (eds.): Graph Transformations, 4th International Conference, ICGT 2008, Leicester, United Kingdom, September 7\u201313, 2008. Proceedings, volume 5214 of Lecture Notes in Computer Science. Springer (2008)","DOI":"10.1007\/978-3-540-87405-8"},{"key":"496_CR16","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-69962-7","volume-title":"Fundamentals of algebraic specification 1: equations und initial semantics. In: EATCS Monographs on Theoretical Computer Science","author":"H Ehrig","year":"1985","unstructured":"Ehrig, H., Mahr, B.: Fundamentals of algebraic specification 1: equations und initial semantics. In: EATCS Monographs on Theoretical Computer Science, vol. 6. Springer, Heidelberg (1985). https:\/\/doi.org\/10.1007\/978-3-642-69962-7"},{"key":"496_CR17","unstructured":"Giese, H., K\u00f6nig, B. (eds.): Graph Transformation\u20147th International Conference, ICGT 2014, Held as Part of STAF 2014, York, UK, July 22\u201324, 2014. Proceedings, volume 8571 of Lecture Notes in Computer Science. Springer (2014)"},{"key":"496_CR18","unstructured":"Gogolla, M., Hilken, F.: Model validation and verification options in a contemporary UML and OCL analysis tool. In: Oberweis, A., Reussner, R.H., (eds.) Modellierung 2016, 2.-4. M\u00e4rz 2016, Karlsruhe, volume 254 of LNI, pp. 205\u2013220. GI (2016)"},{"key":"496_CR19","doi-asserted-by":"crossref","unstructured":"Gonz\u00e1lez, C.A., Cabot, J.: Test data generation for model transformations combining partition and constraint analysis. In: Ruscio, D.D., Varr\u00f3, D. (eds.) Theory and Practice of Model Transformations\u20147th International Conference, ICMT 2014, Held as Part of STAF 2014, York, UK, July 21\u201322, 2014. Proceedings, volume 8568 of Lecture Notes in Computer Science, pp. 25\u201341. Springer (2014)","DOI":"10.1007\/978-3-319-08789-4_3"},{"issue":"3\/4","key":"496_CR20","doi-asserted-by":"crossref","first-page":"287","DOI":"10.3233\/FI-1996-263404","volume":"26","author":"A Habel","year":"1996","unstructured":"Habel, A., Heckel, R., Taentzer, G.: Graph grammars with negative application conditions. Fundam. Inform. 26(3\/4), 287\u2013313 (1996)","journal-title":"Fundam. Inform."},{"issue":"2","key":"496_CR21","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)","journal-title":"Math. Struct. Comput. Sci."},{"key":"496_CR22","doi-asserted-by":"crossref","unstructured":"H\u00e4hnle, R.: Tableaux and related methods. In Robinson, J.A., Voronkov, A. (eds.) Handbook of Automated Reasoning (in 2 volumes), pp. 100\u2013178. Elsevier and MIT Press (2001)","DOI":"10.1016\/B978-044450813-3\/50005-9"},{"key":"496_CR23","doi-asserted-by":"publisher","first-page":"118","DOI":"10.1016\/S1571-0661(05)80188-4","volume":"2","author":"R Heckel","year":"1995","unstructured":"Heckel, R., Wagner, A.: Ensuring consistency of conditional graph rewriting\u2014a constructive approach. Electr. Notes Theor. Comput. Sci. 2, 118\u2013126 (1995)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"key":"496_CR24","doi-asserted-by":"crossref","unstructured":"Jackson, E.K., Levendovszky, T., Balasubramanian, D.: Reasoning about metamodeling with formal specifications and automatic proofs. In: Whittle, J., Clark, T., K\u00fchne, T. (eds.) Model Driven Engineering Languages and Systems, 14th International Conference, MODELS 2011, Wellington, New Zealand, October 16\u201321, 2011. Proceedings, volume 6981 of Lecture Notes in Computer Science, pp. 653\u2013667. Springer (2011)","DOI":"10.1007\/978-3-642-24485-8_48"},{"key":"496_CR25","unstructured":"Jackson, E.K., Sztipanovits, J.: Constructive techniques for meta- and model-level reasoning. In: Engels, G., Opdyke, B., Schmidt, D.C., Weil, F. (eds.) Model Driven Engineering Languages and Systems, 10th International Conference, MoDELS 2007, Nashville, USA, September 30\u2013October 5, 2007, Proceedings, volume 4735 of Lecture Notes in Computer Science, pp. 405\u2013419. Springer (2007)"},{"key":"496_CR26","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1007\/978-3-319-40530-8_10","volume-title":"Graph Transformation","author":"Christian Krause","year":"2016","unstructured":"Krause, C., Johannsen, D., Deeb, R., Sattler, K.-U., Knacker, D., Niadzelka, A.: An SQL-based query language and engine for graph pattern matching. In: Echahed and Minas [12], pp. 153\u2013169"},{"key":"496_CR27","first-page":"17","volume-title":"Graph Transformation","author":"Leen Lambers","year":"2014","unstructured":"Lambers, L., Orejas, F.: Tableau-based reasoning for graph properties. In: Giese and K\u00f6nig [17], pp. 17\u201332"},{"key":"496_CR28","unstructured":"Microsoft Corporation. Z3. https:\/\/github.com\/Z3Prover\/z3 . Accessed 19 Sept 2017"},{"key":"496_CR29","doi-asserted-by":"crossref","unstructured":"Milicevic, A., Near, J.P., Eunsuk, K., Jackson, D.: Alloy*: a general-purpose higher-order relational constraint solver. In: Bertolino, A., Canfora, G., Elbaum, S.G. (eds.) 37th IEEE\/ACM International Conference on Software Engineering, ICSE 2015, Florence, Italy, May 16\u201324, 2015, Volume 1, pp. 609\u2013619. IEEE Computer Society (2015)","DOI":"10.1109\/ICSE.2015.77"},{"key":"496_CR30","first-page":"130","volume-title":"Lecture Notes in Computer Science","author":"Alix Mougenot","year":"2009","unstructured":"Mougenot, A., Darrasse, A., Blanc, X., Soria, M.: Uniform random generation of huge metamodel instances. In: Paige, R.F., Hartman, A., Rensink, A. (eds.) Model Driven Architecture\u2014Foundations and Applications, 5th European Conference, ECMDA-FA 2009, Enschede, The Netherlands, June 23\u201326, 2009. Proceedings, volume 5562 of Lecture Notes in Computer Science, pp. 130\u2013145. Springer (2009)"},{"key":"496_CR31","unstructured":"Nelson, T., Saghafi, S., Dougherty, D.J., Fisler, K., Krishnamurthi, S.: Aluminum: principled scenario exploration through minimality. In: Notkin, D., Cheng, B.H.C., Pohl, K. (eds.) 35th International Conference on Software Engineering, ICSE \u201913, San Francisco, CA, USA, May 18\u201326, 2013, pp. 232\u2013241. IEEE Computer Society (2013)"},{"key":"496_CR32","doi-asserted-by":"crossref","unstructured":"Orejas, F.: Attributed graph constraints. In: Ehrig et\u00a0al. [15], pp. 274\u2013288","DOI":"10.1007\/978-3-540-87405-8_19"},{"key":"496_CR33","unstructured":"Orejas, F., Ehrig, H., Prange, U.: A logic of graph constraints. In: Fiadeiro, J.L., Inverardi, P. (eds.) Fundamental Approaches to Software Engineering, 11th International Conference, FASE 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings, volume 4961 of Lecture Notes in Computer Science, pp. 179\u2013198. Springer (2008)"},{"issue":"3\u20134","key":"496_CR34","doi-asserted-by":"publisher","first-page":"385","DOI":"10.1007\/s00165-009-0116-9","volume":"22","author":"F Orejas","year":"2010","unstructured":"Orejas, F., Ehrig, H., Prange, U.: Reasoning with graph constraints. Formal Asp. Comput. 22(3\u20134), 385\u2013422 (2010)","journal-title":"Formal Asp. Comput."},{"issue":"3","key":"496_CR35","doi-asserted-by":"publisher","first-page":"294","DOI":"10.1016\/j.jsc.2010.09.009","volume":"46","author":"Fernando Orejas","year":"2011","unstructured":"Orejas, F., Lambers, L.: Symbolic attributed graphs for attributed graph transformation. ECEASST 30, (2010). https:\/\/doi.org\/10.1016\/j.jsc.2010.09.009","journal-title":"Journal of Symbolic Computation"},{"issue":"1\u20132","key":"496_CR36","doi-asserted-by":"crossref","first-page":"65","DOI":"10.3233\/FI-2012-706","volume":"118","author":"F Orejas","year":"2012","unstructured":"Orejas, F., Lambers, L.: Lazy graph transformation. Fundam. Inform. 118(1\u20132), 65\u201396 (2012)","journal-title":"Fundam. Inform."},{"issue":"1","key":"496_CR37","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1016\/j.entcs.2008.04.075","volume":"213","author":"K-H Pennemann","year":"2008","unstructured":"Pennemann, K.-H.: An algorithm for approximating the satisfiability problem of high-level conditions. Electr. Notes Theor. Comput. Sci. 213(1), 75\u201394 (2008)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"key":"496_CR38","doi-asserted-by":"crossref","unstructured":"Pennemann, K.-H.: Resolution-like theorem proving for high-level conditions. In: Ehrig et\u00a0al. [15], pp. 289\u2013304","DOI":"10.1007\/978-3-540-87405-8_20"},{"key":"496_CR39","unstructured":"Pennemann, K.-H.: Development of correct graph transformation systems, Ph.D. Thesis. Dept. Informatik, Univ. Oldenburg (2009)"},{"key":"496_CR40","first-page":"33","volume-title":"Graph Transformation","author":"Christopher M. Poskitt","year":"2014","unstructured":"Poskitt, C.M., Plump, D.: Verifying monadic second-order properties of graph programs. In: Giese and K\u00f6nig [17], pp. 33\u201348"},{"key":"496_CR41","doi-asserted-by":"publisher","unstructured":"Radke, H.: HR* graph conditions between counting monadic second-order and second-order graph formulas. ECEASST 61, (2013). https:\/\/doi.org\/10.14279\/tuj.eceasst.61.831.831","DOI":"10.14279\/tuj.eceasst.61.831.831"},{"key":"496_CR42","doi-asserted-by":"crossref","unstructured":"Radke, H., Arendt, T., Becker, J.S., Habel, A., Taentzer, G.: Translating essential OCL invariants to nested graph constraints focusing on set operations. In: Parisi-Presicce, F., Westfechtel, B. (eds.) Graph Transformation\u20148th International Conference, ICGT 2015, Held as Part of STAF 2015, L\u2019Aquila, Italy, July 21\u201323, 2015. Proceedings, volume 9151 of Lecture Notes in Computer Science, pp. 155\u2013170. Springer (2015)","DOI":"10.1007\/978-3-319-21145-9_10"},{"key":"496_CR43","unstructured":"Rensink, A.: Representing first-order logic using graphs. In: Ehrig, H., Engels, G., Parisi-Presicce, F., Rozenberg, G. (eds.) Graph Transformations, Second International Conference, ICGT 2004, Rome, Italy, September 28\u2013October 2, 2004, Proceedings, volume 3256 of Lecture Notes in Computer Science, pp. 319\u2013335. Springer (2004)"},{"key":"496_CR44","doi-asserted-by":"publisher","DOI":"10.1142\/3303","volume-title":"Handbook of Graph Grammars and Computing by Graph Transformation","author":"Grzegorz Rozenberg","year":"1997","unstructured":"Rozenberg, G. (ed.).: Handbook of graph grammars and computing by graph transformations, vol. 1: foundations. World Scientific (1997). https:\/\/doi.org\/10.1142\/3303"},{"key":"496_CR45","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1007\/978-3-662-46675-9_9","volume-title":"Fundamental Approaches to Software Engineering","author":"Rick Salay","year":"2015","unstructured":"Salay, R., Chechik, M.: A generalized formal framework for partial modeling. In: Egyed, A., Schaefer, I. (eds.) Fundamental Approaches to Software Engineering\u201418th International Conference, FASE 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11\u201318, 2015. Proceedings, volume 9033 of Lecture Notes in Computer Science, pp. 133\u2013148. Springer (2015)"},{"key":"496_CR46","doi-asserted-by":"crossref","unstructured":"Schneider, S., Lambers, L., Orejas, F.: Symbolic model generation for graph properties. In: Huisman, M., Rubin, J. (eds). Fundamental Approaches to Software Engineering\u201420th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22\u201329, 2017, Proceedings, volume 10202 of Lecture Notes in Computer Science, pp. 226\u2013243. Springer (2017)","DOI":"10.1007\/978-3-662-54494-5_13"},{"key":"496_CR47","unstructured":"Schneider, S., Lambers, L., Orejas, F.: Symbolic model generation for graph properties (extended version). Number 115 in Technische Berichte des Hasso-Plattner-Instituts fr Softwaresystemtechnik an der Universit\u00e4t Potsdam. Universit\u00e4tsverlag Potsdam, Hasso Plattner Institute (Germany, Potsdam), 1 edition, 2 (2017)"},{"key":"496_CR48","first-page":"1","volume-title":"Algorithms and Theory of Computation Handbook. Chapter Database Theory: Query Languages","author":"N Schweikardt","year":"2010","unstructured":"Schweikardt, N., Schwentick, T., Segoufin, L.: Algorithms and Theory of Computation Handbook. Chapter Database Theory: Query Languages, vol. 19, pp. 1\u201334. Chapman & Hall\/CRC, Boca Raton (2010)"},{"key":"496_CR49","doi-asserted-by":"crossref","unstructured":"Semer\u00e1th, O., Varr\u00f3, D.: Graph constraint evaluation over partial models by constraint rewriting. In: Guerra, E., van\u00a0den Brand, M. (eds.) Theory and Practice of Model Transformation\u201410th International Conference, ICMT 2017, Held as Part of STAF 2017, Marburg, Germany, July 17\u201318, 2017, Proceedings, volume 10374 of Lecture Notes in Computer Science, pp. 138\u2013154. Springer (2017)","DOI":"10.1007\/978-3-319-61473-1_10"},{"key":"496_CR50","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1007\/978-3-662-49665-7_6","volume-title":"Fundamental Approaches to Software Engineering","author":"Oszk\u00e1r Semer\u00e1th","year":"2016","unstructured":"Semer\u00e1th, O., V\u00f6r\u00f6s, A., Varr\u00f3, D.: Iterative and incremental model generation by logic solvers. In: Stevens, P., Wasowski, A. (eds.) Fundamental Approaches to Software Engineering\u201419th International Conference, FASE 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2\u20138, 2016, Proceedings, volume 9633 of Lecture Notes in Computer Science, pp. 87\u2013103. Springer (2016)"},{"key":"496_CR51","unstructured":"The Linked Data Benchmark Council (LDBC). Social network benchmark. https:\/\/github.com\/ldbc\/ldbc_snb_docs . Accessed: 21 Aug 2017"},{"key":"496_CR52","unstructured":"The World Wide Web Consortium (W3C). W3c xml schema definition language (xsd) 1.1 part 1: Structures (2012)"},{"issue":"1","key":"496_CR53","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1145\/2206869.2206879","volume":"41","author":"PT Wood","year":"2012","unstructured":"Wood, P.T.: Query languages for graph databases. SIGMOD Rec. 41(1), 50\u201360 (2012)","journal-title":"SIGMOD Rec."}],"container-title":["International Journal on Software Tools for Technology Transfer"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10009-018-0496-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-018-0496-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-018-0496-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,8,26]],"date-time":"2022-08-26T20:28:44Z","timestamp":1661545724000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10009-018-0496-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,6,30]]},"references-count":53,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2018,11]]}},"alternative-id":["496"],"URL":"https:\/\/doi.org\/10.1007\/s10009-018-0496-3","relation":{},"ISSN":["1433-2779","1433-2787"],"issn-type":[{"value":"1433-2779","type":"print"},{"value":"1433-2787","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018,6,30]]},"assertion":[{"value":"30 June 2018","order":1,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}