{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,3]],"date-time":"2026-02-03T16:35:03Z","timestamp":1770136503999,"version":"3.49.0"},"publisher-location":"Cham","reference-count":49,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783030284824","type":"print"},{"value":"9783030284831","type":"electronic"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"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":[[2019]]},"DOI":"10.1007\/978-3-030-28483-1_11","type":"book-chapter","created":{"date-parts":[[2019,10,2]],"date-time":"2019-10-02T07:04:49Z","timestamp":1569999889000},"page":"237-253","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Computer-Generated Geometry Proofs in a Learning Context"],"prefix":"10.1007","author":[{"given":"Pedro","family":"Quaresma","sequence":"first","affiliation":[]},{"given":"Vanda","family":"Santos","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2019,10,2]]},"reference":[{"key":"11_CR1","unstructured":"Ab\u00e1nades, M., Botana, F., Kov\u00e1cs, Z., Recio, T., & S\u00f3lyom-Gecse, C. (2016). Towards the automatic discovery of theorems in GeoGebra. In G. M. Greuel, T. Koch, P. Paule, & A. Sommese (Eds.), Mathematical Software\u2014ICMS 2016 (pp. 37\u201342). Cham: Springer International Publishing."},{"key":"11_CR2","unstructured":"Baeta, N., & Quaresma, P. (2013). The full angle method on the OpenGeoProver. In C.\u00a0Lange, D.\u00a0Aspinall, J.\u00a0Carette, J.\u00a0Davenport, A.\u00a0Kohlhase, M.\u00a0Kohlhase, P.\u00a0Libbrecht, P.\u00a0Quaresma, F.\u00a0Rabe, P.\u00a0Sojka, I.\u00a0Whiteside, & W.\u00a0Windsteiger (Eds.), MathUI, OpenMath, PLMMS and ThEdu Workshops and Work in Progress at the Conference on Intelligent Computer Mathematics, no. 1010 in CEUR Workshop Proceedings. Aachen. \n                    http:\/\/ceur-ws.org\/Vol-1010\/paper-08.pdf\n                    \n                  ."},{"key":"11_CR3","doi-asserted-by":"publisher","first-page":"246","DOI":"10.1007\/11591191_18","volume-title":"Logic for Programming, Artificial Intelligence, and Reasoning","author":"Marc Bezem","year":"2005","unstructured":"Bezem, M., & Coquand, T. (2005). Automating coherent logic. In G.\u00a0Sutcliffe & A.\u00a0Voronkov (Eds.), Logic for programming, artificial intelligence, and reasoning. Lecture Notes in Computer Science (Vol. 3835, pp. 246\u2013260). Berlin\/Heidelberg: Springer. \n                    https:\/\/doi.org\/10.1007\/11591191_18\n                    \n                  ."},{"issue":"1","key":"11_CR4","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1007\/s10817-015-9326-4","volume":"55","author":"F Botana","year":"2015","unstructured":"Botana, F., Hohenwarter, M., Jani\u010di\u0107, P., Kov\u00e1cs, Z., Petrovi\u0107, I., Recio, T., et al. (2015). Automated theorem proving in GeoGebra: Current achievements. Journal of Automated Reasoning, 55(1), 39\u201359. \n                    https:\/\/doi.org\/10.1007\/s10817-015-9326-4\n                    \n                  .","journal-title":"Journal of Automated Reasoning"},{"key":"11_CR5","unstructured":"Chou, S. (1985). Proving and discovering geometry theorems using Wu\u2019s method. Ph.D. thesis, The University of Texas, Austin."},{"key":"11_CR6","doi-asserted-by":"crossref","unstructured":"Chou, S. C., & Gao, X. S. (2001). Automated reasoning in geometry. In J. A. Robinson & A.\u00a0Voronkov (Eds.), Handbook of automated reasoning (pp. 707\u2013749). Elsevier Science Publishers B.V.","DOI":"10.1016\/B978-044450813-3\/50013-8"},{"key":"11_CR7","doi-asserted-by":"crossref","unstructured":"Chou, S. C., Gao, X. S., & Zhang, J. Z. (1994). Machine proofs in geometry. World Scientific.","DOI":"10.1142\/2196"},{"issue":"3","key":"11_CR8","doi-asserted-by":"publisher","first-page":"325","DOI":"10.1007\/BF00283133","volume":"17","author":"Shang-Ching Chou","year":"1996","unstructured":"Chou, S. C., Gao, X. S., & Zhang, J. Z. (1996a). Automated generation of readable proofs with geometric invariants, I. Multiple and shortest proof generation. Journal of Automated Reasoning, 17(13), 325\u2013347. \n                    https:\/\/doi.org\/10.1007\/BF00283133\n                    \n                  .","journal-title":"Journal of Automated Reasoning"},{"issue":"3","key":"11_CR9","doi-asserted-by":"publisher","first-page":"349","DOI":"10.1007\/BF00283134","volume":"17","author":"Shang-Ching Chou","year":"1996","unstructured":"Chou, S. C., Gao, X. S., & Zhang, J. Z. (1996b). Automated generation of readable proofs with geometric invariants, II. Theorem proving with full-angles. Journal of Automated Reasoning, 17(13), 349\u2013370. \n                    https:\/\/doi.org\/10.1007\/BF00283134\n                    \n                  .","journal-title":"Journal of Automated Reasoning"},{"issue":"1\u20132","key":"11_CR10","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1023\/A:1012737223465","volume":"44","author":"G Hanna","year":"2000","unstructured":"Hanna, G. (2000). Proof, explanation and exploration: An overview. Educational Studies in Mathematics, 44(1\u20132), 5\u201323. \n                    https:\/\/doi.org\/10.1023\/A:1012737223465\n                    \n                  .","journal-title":"Educational Studies in Mathematics"},{"issue":"1\u20132","key":"11_CR11","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1007\/s11858-006-0005-0","volume":"39","author":"G Hanna","year":"2007","unstructured":"Hanna, G., & Sidoli, N. (2007). Visualisation and proof: A brief survey of philosophical perspectives. ZDM, 39(1\u20132), 73\u201378. \n                    https:\/\/doi.org\/10.1007\/s11858-006-0005-0\n                    \n                  .","journal-title":"ZDM"},{"key":"11_CR12","unstructured":"Hohenwarter, M. (2002). Geogebra\u2014A software system for dynamic geometry and algebra in the plane. Master\u2019s thesis, University of Salzburg, Austria."},{"key":"11_CR13","unstructured":"Hoyles, C., & Jones, K. (1998). Proof in dynamic geometry contexts. In Perspectives on the teaching of geometry for the 21st century (pp. 121\u2013128). Springer. \n                    https:\/\/eprints.soton.ac.uk\/41227\/\n                    \n                  ."},{"key":"11_CR14","doi-asserted-by":"publisher","first-page":"58","DOI":"10.1007\/11832225_6","volume-title":"Lecture Notes in Computer Science","author":"Predrag Jani\u010di\u0107","year":"2006","unstructured":"Jani\u010di\u0107, P. (2006). GCLC\u2014A tool for constructive Euclidean geometry and more than that. In A.\u00a0Iglesias & N.\u00a0Takayama (Eds.) Mathematical Software\u2014ICMS 2006. Lecture Notes in Computer Science (Vol. 4151, pp. 58\u201373). Springer. \n                    https:\/\/doi.org\/10.1007\/11832225_6\n                    \n                  ."},{"issue":"4","key":"11_CR15","doi-asserted-by":"publisher","first-page":"489","DOI":"10.1007\/s10817-010-9209-7","volume":"48","author":"P Jani\u010di\u0107","year":"2012","unstructured":"Jani\u010di\u0107, P., Narboux, J., & Quaresma, P. (2012). The area method: A recapitulation. Journal of Automated Reasoning, 48(4), 489\u2013532. \n                    https:\/\/doi.org\/10.1007\/s10817-010-9209-7\n                    \n                  .","journal-title":"Journal of Automated Reasoning"},{"key":"11_CR16","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1007\/11814771_13","volume-title":"Automated Reasoning","author":"Predrag Jani\u010di\u0107","year":"2006","unstructured":"Jani\u010di\u0107, P., & Quaresma, P. (2006). System description: GCLCprover + GeoThms. In U.\u00a0Furbach, N.\u00a0Shankar (Eds.), Automated reasoning. Lecture Notes in Computer Science (Vol. 4130, pp. 145\u2013150). Springer. \n                    https:\/\/doi.org\/10.1007\/11814771_13\n                    \n                  ."},{"key":"11_CR17","doi-asserted-by":"publisher","unstructured":"Jani\u010di\u0107, P., & Quaresma, P. (2007). Automatic verification of regular constructions in dynamic geometry systems. In F.\u00a0Botana & T.\u00a0Recio (Eds.), Automated deduction in geometry. Lecture Notes in Computer Science (Vol. 4869, pp. 39\u201351). Springer. \n                    https:\/\/doi.org\/10.1007\/978-3-540-77356-6_3\n                    \n                  .","DOI":"10.1007\/978-3-540-77356-6_3"},{"issue":"4","key":"11_CR18","doi-asserted-by":"publisher","first-page":"802","DOI":"10.1007\/s11424-012-2048-3","volume":"25","author":"J Jiang","year":"2012","unstructured":"Jiang, J., & Zhang, J. (2012). A review and prospect of readable machine proofs for geometry theorems. Journal of Systems Science and Complexity, 25(4), 802\u2013820. \n                    https:\/\/doi.org\/10.1007\/s11424-012-2048-3\n                    \n                  .","journal-title":"Journal of Systems Science and Complexity"},{"issue":"4","key":"11_CR19","doi-asserted-by":"publisher","first-page":"399","DOI":"10.1016\/S0747-7171(86)80007-4","volume":"2","author":"D Kapur","year":"1986","unstructured":"Kapur, D. (1986). Using Gr\u00f6bner bases to reason about geometry problems. Journal of Symbolic Computation, 2(4), 399\u2013408. \n                    https:\/\/doi.org\/10.1016\/S0747-7171(86)80007-4\n                    \n                  .","journal-title":"Journal of Symbolic Computation"},{"key":"11_CR20","unstructured":"Kov\u00e1cs, Z. (2015). Computer based conjectures and proofs in teaching Euclidean geometry. Ph.D. thesis, Universit\u00e4t Linz. urn:nbn:at:at-ubl:1-5034."},{"key":"11_CR21","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1007\/978-3-319-21362-0_4","volume-title":"Automated Deduction in Geometry","author":"Zolt\u00e1n Kov\u00e1cs","year":"2015","unstructured":"Kov\u00e1cs, Z. (2015). The relation tool in GeoGebra (Vol. 5, pp. 53\u201371). Springer International Publishing. \n                    https:\/\/doi.org\/10.1007\/978-3-319-21362-0_4\n                    \n                  ."},{"key":"11_CR22","unstructured":"Li, H. (2000). Clifford algebra approaches to mechanical geometry theorem proving. In X. S. Gao & D. Wang (Eds.), Mathematics mechanization and applications (pp. 205\u2013299). San Diego, CA: Academic Press."},{"key":"11_CR23","unstructured":"Lin, F. L., Hsieh, F. J., Hanna, G., & de Villiers, M. (Eds.). (2009a). Proceedings of the ICMI Study 19 Conference: Proof and Proving in Mathematics Education (Vol. 1). The Department of Mathematics: National Taiwan Normal University."},{"key":"11_CR24","unstructured":"Lin, F. L., Hsieh, F. J., Hanna, G., & de Villiers, M. (Eds.). (2009b). Proceedings of the ICMI Study 19 conference: Proof and Proving in Mathematics Education (Vol. 2). The Department of Mathematics: National Taiwan Normal University."},{"key":"11_CR25","unstructured":"Nelsen, R. B. (1993). Proofs without words: Exercises in visual thinking (Vol. 1). MAA."},{"key":"11_CR26","unstructured":"Paneque, J., Cobo, P., Fortuny, J.,&\u00a0Richard, P. R. (2016). Argumentative effects of a geometric construction tutorial system in solving problems of proof. In: Proceedings of the 4th International Workshop on Theorem Proving Components for Educational Software, July 15, 2015, Washington, D.C., USA. CISUC Technical Reports (Vol. 2016-001, pp. 13\u201335). CISUC."},{"issue":"3","key":"11_CR27","doi-asserted-by":"publisher","first-page":"427","DOI":"10.1007\/s11786-017-0302-8","volume":"11","author":"P Quaresma","year":"2017","unstructured":"Quaresma, P. (2017). Towards an intelligent and dynamic geometry book. Mathematics in Computer Science, 11(3), 427\u2013437. \n                    https:\/\/doi.org\/10.1007\/s11786-017-0302-8\n                    \n                  .","journal-title":"Mathematics in Computer Science"},{"key":"11_CR28","doi-asserted-by":"publisher","first-page":"280","DOI":"10.1007\/11812289_22","volume-title":"Lecture Notes in Computer Science","author":"Pedro Quaresma","year":"2006","unstructured":"Quaresma, P., & Jani\u010di\u0107, P. (2006). Integrating dynamic geometry software, deduction systems, and theorem repositories. In J. M. Borwein & W. M. Farmer (Eds.), Mathematical knowledge management. Lecture Notes in Computer Science (Vol. 4108, pp. 280\u2013294). Berlin: Springer. \n                    https:\/\/doi.org\/10.1007\/11812289_22\n                    \n                  ."},{"key":"11_CR29","unstructured":"Quaresma, P., & Jani\u010di\u0107, P. (2009). The area method, rigorous proofs of lemmas in Hilbert\u2019s style axiom system. Tech. Rep. 2009\/006, Centre for Informatics and Systems of the University of Coimbra."},{"key":"11_CR30","unstructured":"Quaresma, P., Jani\u010di\u0107, P., Toma\u0161evi\u0107, J., Vujo\u0161evi\u0107-Jani\u010di\u0107, M., & To\u0161i\u0107, D. (2008). Communicating mathematics in the digital era. In XML-bases format for descriptions of geometric constructions and proofs (pp. 183\u2013197). Wellesley, MA: A. K. Peters, Ltd."},{"key":"11_CR31","unstructured":"Quaresma, P., & Santos, V. (2016). Visual geometry proofs in a learning context. In W.\u00a0Neuper & P.\u00a0Quaresma (Eds.), Proceedings of ThEdu\u201915, CISUC Technical Reports (Vol. 2016001, pp. 1\u20136). CISUC. \n                    https:\/\/www.cisuc.uc.pt\/ckfinder\/userfiles\/files\/TR2016-01.pdf\n                    \n                  ."},{"key":"11_CR32","doi-asserted-by":"publisher","first-page":"364","DOI":"10.1007\/978-3-642-39320-4_30","volume-title":"Lecture Notes in Computer Science","author":"Pedro Quaresma","year":"2013","unstructured":"Quaresma, P., Santos, V., & Bouallegue, S. (2013). The Web Geometry Laboratory project. In J.\u00a0Carette, D.\u00a0Aspinall, C.\u00a0Lange, P.\u00a0Sojka & W.\u00a0Windsteiger (Eds.), CICM 2013. Lecture Notes in Computer Science (Vol. 7961, pp. 364\u2013368). Springer. \n                    https:\/\/doi.org\/10.1007\/978-3-642-39320-4_30\n                    \n                  ."},{"issue":"1","key":"11_CR33","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1007\/s10639-017-9597-y","volume":"23","author":"P Quaresma","year":"2018","unstructured":"Quaresma, P., Santos, V., & Mari\u0107, M. (2018). WGL, a web laboratory for geometry. Education and Information Technologies, 23(1), 237\u2013252. \n                    https:\/\/doi.org\/10.1007\/s10639-017-9597-y\n                    \n                  .","journal-title":"Education and Information Technologies"},{"key":"11_CR34","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1007\/978-3-7091-0794-2_12","volume-title":"Texts & Monographs in Symbolic Computation","author":"Tomas Recio","year":"2011","unstructured":"Recio, T., & V\u00e9lez, M. P. (2012). An introduction to automated discovery in geometry through symbolic computation (pp. 257\u2013271). Vienna: Springer. \n                    https:\/\/doi.org\/10.1007\/978-3-7091-0794-2_12\n                    \n                  ."},{"issue":"6","key":"11_CR35","doi-asserted-by":"publisher","first-page":"843","DOI":"10.1007\/s11858-016-0805-9","volume":"48","author":"PR Richard","year":"2016","unstructured":"Richard, P. R., Oller Marc\u00e9n, A. M., & Meavilla Segu\u00ed, V. (2016). The concept of proof in the light of mathematical work. ZDM, 48(6), 843\u2013859. \n                    https:\/\/doi.org\/10.1007\/s11858-016-0805-9\n                    \n                  .","journal-title":"ZDM"},{"key":"11_CR36","unstructured":"Richter-Gebert, J., & Kortenkamp, U. (1999). The interactive geometry software Cinderella. Springer."},{"issue":"1","key":"11_CR37","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1016\/j.compedu.2007.05.013","volume":"51","author":"K Ruthven","year":"2008","unstructured":"Ruthven, K., Hennessy, S., & Deaney, R. (2008). Constructions of dynamic geometry: A study of the interpretative flexibility of educational software in classroom practice. Computers & Education, 51(1), 297\u2013317.","journal-title":"Computers & Education"},{"key":"11_CR38","doi-asserted-by":"publisher","first-page":"111","DOI":"10.4204\/EPTCS.79.7","volume":"79","author":"Vanda Santos","year":"2012","unstructured":"Santos, V., & Quaresma, P. (2012). Integrating DGSs and GATPs in an adaptative and collaborative blended-learning Web-environment. In First Workshop on CTP Components for Educational Software (THedu\u201911), EPTCS (Vol.\u00a079, pp. 111\u2013123). \n                    https:\/\/doi.org\/10.4204\/EPTCS.79.7\n                    \n                  .","journal-title":"Electronic Proceedings in Theoretical Computer Science"},{"key":"11_CR39","unstructured":"Santos, V., & Quaresma, P. (2013). Collaborative aspects of the WGL project. Electronic Journal of Mathematics & Technology, 7(6). Mathematics and Technology, LLC."},{"issue":"1","key":"11_CR40","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1080\/10494820.2016.1258715","volume":"26","author":"V Santos","year":"2018","unstructured":"Santos, V., Quaresma, P., Mari\u0107, M., & Campos, H. (2018). Web geometry laboratory: Case studies in Portugal and Serbia. Interactive Learning Environments, 26(1), 3\u201321. \n                    https:\/\/doi.org\/10.1080\/10494820.2016.1258715\n                    \n                  .","journal-title":"Interactive Learning Environments"},{"key":"11_CR41","doi-asserted-by":"publisher","first-page":"388","DOI":"10.1007\/978-3-319-08434-3_28","volume-title":"Lecture Notes in Computer Science","author":"Sana Stojanovi\u0107","year":"2014","unstructured":"Stojanovi\u0107, S., Narboux, J., Bezem, M., & Jani\u010di\u0107, P. (2014). A vernacular for coherent logic. In S. M. Watt, J.\u00a0Davenport, A.\u00a0Sexton, P.\u00a0Sojka, & J.\u00a0Urban (Eds.), Intelligent computer mathematics. Lecture Notes in Computer Science (Vol. 8543, pp. 388\u2013403). Springer International Publishing. \n                    https:\/\/doi.org\/10.1007\/978-3-319-08434-3_28\n                    \n                  ."},{"key":"11_CR42","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1007\/978-3-642-25070-5_12","volume-title":"Automated Deduction in Geometry","author":"Sana Stojanovi\u0107","year":"2011","unstructured":"Stojanovi\u0107, S., Pavlovi\u0107, V., & Jani\u010di\u0107, P. (2011). A coherent logic based geometry theorem prover capable of producing formal and readable proofs. In P.\u00a0Schreck, J.\u00a0Narboux, & J.\u00a0Richter-Gebert (Eds.), Automated deduction in geometry. Lecture Notes in Computer Science (Vol. 6877, pp. 201\u2013220). Berlin, Heidelberg: Springer. \n                    https:\/\/doi.org\/10.1007\/978-3-642-25070-5_12\n                    \n                  ."},{"issue":"4","key":"11_CR43","first-page":"46","volume":"2006","author":"M Villiers de","year":"2006","unstructured":"de Villiers, M. (2006). Some pitfalls of dynamic geometry software. Learning and Teaching Mathematics, 2006(4), 46\u201352.","journal-title":"Learning and Teaching Mathematics"},{"key":"11_CR44","unstructured":"Wang, D. (1995). Reasoning about geometric problems using an elimination method. In J. Pfalzgraf & D. Wang (Eds.), Automated practical reasoning (pp. 147\u2013185). New York: Springer."},{"key":"11_CR45","unstructured":"Wang, K., & Su, Z. (2015). Automated geometry theorem proving for human-readable proofs. In Proceedings of the 24th International Conference on Artificial Intelligence, IJCAI\u201915 (pp. 1193\u20131199). AAAI Press. \n                    http:\/\/dl.acm.org\/citation.cfm?id=2832249.2832414\n                    \n                  ."},{"key":"11_CR46","unstructured":"Wu, W. (1984). On the decision problem and the mechanization of theorem proving in elementary geometry. In Automated theorem proving: After 25 years (Vol.\u00a029, pp. 213\u2013234). American Mathematical Society."},{"issue":"3","key":"11_CR47","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1007\/s10817-009-9162-5","volume":"45","author":"Zheng Ye","year":"2009","unstructured":"Ye, Z., Chou, S. C., & Gao, X. S. (2010a). Visually dynamic presentation of proofs in plane geometry, Part 1. Journal of Automated Reasoning, 45, 213\u2013241. \n                    https:\/\/doi.org\/10.1007\/s10817-009-9162-5\n                    \n                  .","journal-title":"Journal of Automated Reasoning"},{"issue":"3","key":"11_CR48","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1007\/s10817-009-9163-4","volume":"45","author":"Zheng Ye","year":"2009","unstructured":"Ye, Z., Chou, S. C., & Gao, X. S. (2010b). Visually dynamic presentation of proofs in plane geometry, Part 2. Journal of Automated Reasoning, 45, 243\u2013266. \n                    https:\/\/doi.org\/10.1007\/s10817-009-9163-4\n                    \n                  .","journal-title":"Journal of Automated Reasoning"},{"key":"11_CR49","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1007\/978-3-642-21046-4_10","volume-title":"Automated Deduction in Geometry","author":"Zheng Ye","year":"2011","unstructured":"Ye, Z., Chou, S. C., & Gao, X. S. (2011). An introduction to java geometry expert. In T.\u00a0Sturm & C.\u00a0Zengler (Eds.), Automated deduction in geometry. Lecture Notes in Computer Science (Vol. 6301, pp. 189\u2013195). Berlin, Heidelberg: Springer. \n                    https:\/\/doi.org\/10.1007\/978-3-642-21046-4_10\n                    \n                  ."}],"container-title":["Mathematics Education in the Digital Era","Proof Technology in Mathematics Research and Teaching"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-28483-1_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,2]],"date-time":"2019-10-02T07:07:07Z","timestamp":1570000027000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-28483-1_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030284824","9783030284831"],"references-count":49,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-28483-1_11","relation":{},"ISSN":["2211-8136","2211-8144"],"issn-type":[{"value":"2211-8136","type":"print"},{"value":"2211-8144","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"2 October 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}