{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,9]],"date-time":"2025-10-09T16:12:23Z","timestamp":1760026343816,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":31,"publisher":"ACM","license":[{"start":{"date-parts":[[2023,3,27]],"date-time":"2023-03-27T00:00:00Z","timestamp":1679875200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"FAPEMIG"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2023,3,27]]},"DOI":"10.1145\/3555776.3577620","type":"proceedings-article","created":{"date-parts":[[2023,6,7]],"date-time":"2023-06-07T17:16:29Z","timestamp":1686158189000},"page":"1372-1379","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Type-based Termination Analysis for Parsing Expression Grammars"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-4174-8616","authenticated-orcid":false,"given":"Elton","family":"M. Cardoso","sequence":"first","affiliation":[{"name":"Departamento de Computa\u00e7\u00e3o e Sistemas, Universidade Federal de Ouro Preto, Jo\u00e3o Monlevade, Minas Gerais, Brazil"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3177-3164","authenticated-orcid":false,"given":"Regina","family":"De Paula","sequence":"additional","affiliation":[{"name":"Federal University of Juiz de Fora, Juiz de Fora, Minas Gerais, Brazil"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4814-5447","authenticated-orcid":false,"given":"Daniel","family":"Pereira","sequence":"additional","affiliation":[{"name":"Federal University of Juiz de Fora, Juiz de Fora, Minas Gerais, Brazil"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1167-5332","authenticated-orcid":false,"given":"Leonardo","family":"Reis","sequence":"additional","affiliation":[{"name":"Departamento de Ci\u00eancia da Computa\u00e7\u00e3o, Universidade Federal of Juiz de Fora, Juiz de Fora, Minas Gerais, Brazil"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0131-5154","authenticated-orcid":false,"given":"Rodrigo Geraldo","family":"Ribeiro","sequence":"additional","affiliation":[{"name":"Departamento de Computa\u00e7\u00e3o, Federal University of Ouro Preto, Ouro Preto, Minas Gerais, Brazil"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2023,6,7]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages","author":"Adams Michael D.","year":"2013","unstructured":"Michael D. Adams . 2013 . Principled parsing for indentation-sensitive languages: revisiting landin's offside rule . In Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages ( Rome, Italy) (POPL '13). ACM, New York, NY, USA, 511--522. 10.1145\/2429069.2429129 Michael D. Adams. 2013. Principled parsing for indentation-sensitive languages: revisiting landin's offside rule. In Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (Rome, Italy) (POPL '13). ACM, New York, NY, USA, 511--522. 10.1145\/2429069.2429129"},{"key":"e_1_3_2_1_2_1","volume-title":"Proceedings of the 8th International Workshop on Satisfiability Modulo Theories","author":"Barrett Clark","year":"2010","unstructured":"Clark Barrett , Aaron Stump , and Cesare Tinelli . 2010 . The SMT-LIB Standard: Version 2.0 . In Proceedings of the 8th International Workshop on Satisfiability Modulo Theories ( Edinburgh, UK), A. Gupta and D. Kroening (Eds.). Clark Barrett, Aaron Stump, and Cesare Tinelli. 2010. The SMT-LIB Standard: Version 2.0. In Proceedings of the 8th International Workshop on Satisfiability Modulo Theories (Edinburgh, UK), A. Gupta and D. Kroening (Eds.)."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.2168\/LMCS-12(2:6)2016"},{"key":"e_1_3_2_1_4_1","volume-title":"Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs","author":"Blaudeau Clement","year":"2020","unstructured":"Clement Blaudeau and Natarajan Shankar . 2020 . A Verified Packrat Parser Interpreter for Parsing Expression Grammars . In Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs ( New Orleans, LA, USA) (CPP 2020). Association for Computing Machinery, New York, NY, USA, 3--17. 10.1145\/3372885.3373836 Clement Blaudeau and Natarajan Shankar. 2020. A Verified Packrat Parser Interpreter for Parsing Expression Grammars. In Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs (New Orleans, LA, USA) (CPP 2020). Association for Computing Machinery, New York, NY, USA, 3--17. 10.1145\/3372885.3373836"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/321239.321249"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78800-3_24"},{"key":"e_1_3_2_1_7_1","volume-title":"Proceedings of the XXII Brazilian Symposium on Programming Languages, SBLP 2018","author":"Delfino Thales Ant\u00f4nio","year":"2018","unstructured":"Thales Ant\u00f4nio Delfino and Rodrigo Geraldo Ribeiro . 2018 . Towards certified virtual machine-based regular expression parsing . In Proceedings of the XXII Brazilian Symposium on Programming Languages, SBLP 2018 , Sao Carlos, Brazil , September 20-21, 2018, Carlos Camar\u00e3o and Martin Sulzmann (Eds.). ACM, 67--74. 10.1145\/3264637.3264646 Thales Ant\u00f4nio Delfino and Rodrigo Geraldo Ribeiro. 2018. Towards certified virtual machine-based regular expression parsing. In Proceedings of the XXII Brazilian Symposium on Programming Languages, SBLP 2018, Sao Carlos, Brazil, September 20-21, 2018, Carlos Camar\u00e3o and Martin Sulzmann (Eds.). ACM, 67--74. 10.1145\/3264637.3264646"},{"key":"e_1_3_2_1_8_1","volume-title":"Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation","author":"Edelmann Romain","year":"2020","unstructured":"Romain Edelmann , Jad Hamza , and Viktor Kun\u010dak . 2020 . Zippy LL(1) Parsing with Derivatives . In Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation ( London, UK) (PLDI 2020). Association for Computing Machinery, New York, NY, USA, 1036--1051. 10.1145\/3385412.3385992 Romain Edelmann, Jad Hamza, and Viktor Kun\u010dak. 2020. Zippy LL(1) Parsing with Derivatives. In Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation (London, UK) (PLDI 2020). Association for Computing Machinery, New York, NY, USA, 1036--1051. 10.1145\/3385412.3385992"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/3127323"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-03545-1_7"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlamp.2014.09.002"},{"key":"e_1_3_2_1_12_1","volume-title":"Proceedings of the 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages","author":"Ford Bryan","year":"2004","unstructured":"Bryan Ford . 2004 . Parsing Expression Grammars: A Recognition-Based Syntactic Foundation . In Proceedings of the 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages ( Venice, Italy) (POPL '04). Association for Computing Machinery, New York, NY, USA, 111--122. 10.1145\/964001.964011 Bryan Ford. 2004. Parsing Expression Grammars: A Recognition-Based Syntactic Foundation. In Proceedings of the 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (Venice, Italy) (POPL '04). Association for Computing Machinery, New York, NY, USA, 111--122. 10.1145\/964001.964011"},{"key":"e_1_3_2_1_13_1","volume-title":"Jacobs","author":"Grune Dick","year":"1990","unstructured":"Dick Grune and Ceriel J.H . Jacobs . 1990 . Parsing Techniques - A Practical Guide. Ellis Horwood, Chichester, England. 300+ pages. http:\/\/www.cs.vu.nl\/~dick\/PTAPG.html PDF online free. Dick Grune and Ceriel J.H. Jacobs. 1990. Parsing Techniques - A Practical Guide. Ellis Horwood, Chichester, England. 300+ pages. http:\/\/www.cs.vu.nl\/~dick\/PTAPG.html PDF online free."},{"key":"e_1_3_2_1_14_1","volume-title":"Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation","author":"Herman Grzegorz","year":"2020","unstructured":"Grzegorz Herman . 2020 . Faster General Parsing through Context-Free Memoization . In Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation ( London, UK) (PLDI 2020). Association for Computing Machinery, New York, NY, USA, 1022--1035. 10.1145\/3385412.3386032 Grzegorz Herman. 2020. Faster General Parsing through Context-Free Memoization. In Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation (London, UK) (PLDI 2020). Association for Computing Machinery, New York, NY, USA, 1022--1035. 10.1145\/3385412.3386032"},{"key":"e_1_3_2_1_15_1","volume-title":"Proceedings of the 37th annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages","author":"Jim Trevor","year":"2010","unstructured":"Trevor Jim , Yitzhak Mandelbaum , and David Walker . 2010 . Semantics and Algorithms for Data-dependent Grammars . In Proceedings of the 37th annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages ( Madrid, Spain) (POPL'10). ACM, New York, NY, USA, 417--430. 10.1145\/1706299.1706347 Trevor Jim, Yitzhak Mandelbaum, and David Walker. 2010. Semantics and Algorithms for Data-dependent Grammars. In Proceedings of the 37th annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (Madrid, Spain) (POPL'10). ACM, New York, NY, USA, 417--430. 10.1145\/1706299.1706347"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.2168\/LMCS-7(2:18)2011"},{"key":"e_1_3_2_1_17_1","volume-title":"Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation","author":"Neelakantan","year":"2019","unstructured":"Neelakantan R. Krishnaswami and Jeremy Yallop. 2019. A Typed, Algebraic Approach to Parsing . In Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation ( Phoenix, AZ, USA) (PLDI 2019 ). Association for Computing Machinery, New York, NY, USA, 379--393. 10.1145\/3314221.3314625 Neelakantan R. Krishnaswami and Jeremy Yallop. 2019. A Typed, Algebraic Approach to Parsing. In Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation (Phoenix, AZ, USA) (PLDI 2019). Association for Computing Machinery, New York, NY, USA, 379--393. 10.1145\/3314221.3314625"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/3453483.3454053"},{"key":"e_1_3_2_1_19_1","volume-title":"SBLP 2016, Maring\u00e1, Brazil, September 22-23, 2016, Proceedings (Lecture Notes in Computer Science","volume":"109","author":"Lopes Raul","year":"2016","unstructured":"Raul Lopes , Rodrigo Geraldo Ribeiro , and Carlos Camar\u00e3o . 2016 . Certified Derivative-Based Parsing of Regular Expressions. In Programming Languages - 20th Brazilian Symposium , SBLP 2016, Maring\u00e1, Brazil, September 22-23, 2016, Proceedings (Lecture Notes in Computer Science , Vol. 9889), Fernando Castor and Yu David Liu (Eds.). Springer, 95-- 109 . 10.1007\/978-3-319-45279-1_7 Raul Lopes, Rodrigo Geraldo Ribeiro, and Carlos Camar\u00e3o. 2016. Certified Derivative-Based Parsing of Regular Expressions. In Programming Languages - 20th Brazilian Symposium, SBLP 2016, Maring\u00e1, Brazil, September 22-23, 2016, Proceedings (Lecture Notes in Computer Science, Vol. 9889), Fernando Castor and Yu David Liu (Eds.). Springer, 95--109. 10.1007\/978-3-319-45279-1_7"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2014.01.012"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2014.01.013"},{"key":"e_1_3_2_1_22_1","volume-title":"LATA 2011, Tarragona, Spain, May 26-31, 2011. Proceedings (Lecture Notes in Computer Science","volume":"413","author":"Nielsen Lasse","year":"2011","unstructured":"Lasse Nielsen and Fritz Henglein . 2011 . Bit-coded Regular Expression Parsing. In Language and Automata Theory and Applications - 5th International Conference , LATA 2011, Tarragona, Spain, May 26-31, 2011. Proceedings (Lecture Notes in Computer Science , Vol. 6638), Adrian-Horia Dediu, Shunsuke Inenaga, and Carlos Mart\u00edn-Vide (Eds.). Springer, 402-- 413 . 10.1007\/978-3-642-21254-3_32 Lasse Nielsen and Fritz Henglein. 2011. Bit-coded Regular Expression Parsing. In Language and Automata Theory and Applications - 5th International Conference, LATA 2011, Tarragona, Spain, May 26-31, 2011. Proceedings (Lecture Notes in Computer Science, Vol. 6638), Adrian-Horia Dediu, Shunsuke Inenaga, and Carlos Mart\u00edn-Vide (Eds.). Springer, 402--413. 10.1007\/978-3-642-21254-3_32"},{"key":"e_1_3_2_1_23_1","volume-title":"Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications","author":"Parr Terence","year":"2014","unstructured":"Terence Parr , Sam Harwell , and Kathleen Fisher . 2014 . Adaptive LL(*) Parsing: The Power of Dynamic Analysis . In Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications ( Portland, Oregon, USA) (OOPSLA'14). ACM, New York, NY, USA, 579--598. 10.1145\/2660193.2660202 Terence Parr, Sam Harwell, and Kathleen Fisher. 2014. Adaptive LL(*) Parsing: The Power of Dynamic Analysis. In Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications (Portland, Oregon, USA) (OOPSLA'14). ACM, New York, NY, USA, 579--598. 10.1145\/2660193.2660202"},{"volume-title":"Advanced Topics in Types and Programming Languages, Benjamin C","author":"Pottier Fran\u00e7ois","key":"e_1_3_2_1_24_1","unstructured":"Fran\u00e7ois Pottier and Didier R\u00e9my . 2005. The Essence of ML Type Inference . In Advanced Topics in Types and Programming Languages, Benjamin C . Pierce (Ed.). MIT Press , Chapter 10, 389--489. Fran\u00e7ois Pottier and Didier R\u00e9my. 2005. The Essence of ML Type Inference. In Advanced Topics in Types and Programming Languages, Benjamin C. Pierce (Ed.). MIT Press, Chapter 10, 389--489."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"crossref","first-page":"191","DOI":"10.1016\/j.scico.2014.02.020","article-title":"The formalization and implementation of Adaptable Parsing Expression Grammars","volume":"2","author":"Reis Leonardo V. S.","year":"2014","unstructured":"Leonardo V. S. Reis , Roberto S. Bigonha , Vladimir Oliveira Di Iorio , and Luis Eduardo Souza Amorim . 2014 . The formalization and implementation of Adaptable Parsing Expression Grammars . Science of Computer Programming 96, Part 2 (2014), 191 -- 210 . Leonardo V. S. Reis, Roberto S. Bigonha, Vladimir Oliveira Di Iorio, and Luis Eduardo Souza Amorim. 2014. The formalization and implementation of Adaptable Parsing Expression Grammars. Science of Computer Programming 96, Part 2 (2014), 191--210.","journal-title":"Science of Computer Programming 96, Part"},{"key":"e_1_3_2_1_26_1","volume-title":"Proceedings of the 21st Brazilian Symposium on Programming Languages (Fortaleza, CE, Brazil) (SBLP","author":"Ribeiro Rodrigo","year":"2017","unstructured":"Rodrigo Ribeiro and Andr\u00e9 Du Bois . 2017 . Certified Bit-Coded Regular Expression Parsing . In Proceedings of the 21st Brazilian Symposium on Programming Languages (Fortaleza, CE, Brazil) (SBLP 2017). Association for Computing Machinery, New York, NY, USA, Article 4, 8 pages. 10.1145\/3125374.3125381 Rodrigo Ribeiro and Andr\u00e9 Du Bois. 2017. Certified Bit-Coded Regular Expression Parsing. In Proceedings of the 21st Brazilian Symposium on Programming Languages (Fortaleza, CE, Brazil) (SBLP 2017). Association for Computing Machinery, New York, NY, USA, Article 4, 8 pages. 10.1145\/3125374.3125381"},{"key":"e_1_3_2_1_27_1","volume-title":"Proceedings of the XXIII Brazilian Symposium on Programming Languages","author":"Ribeiro Rodrigo","year":"2019","unstructured":"Rodrigo Ribeiro , Leonardo V. S. Reis , Samuel Feitosa , and Elton M. Cardoso . 2019. Towards Typed Semantics for Parsing Expression Grammars . In Proceedings of the XXIII Brazilian Symposium on Programming Languages ( Salvador, Brazil) (SBLP 2019 ). Association for Computing Machinery, New York, NY, USA, 70--77. 10.1145\/3355378.3355388 Rodrigo Ribeiro, Leonardo V. S. Reis, Samuel Feitosa, and Elton M. Cardoso. 2019. Towards Typed Semantics for Parsing Expression Grammars. In Proceedings of the XXIII Brazilian Symposium on Programming Languages (Salvador, Brazil) (SBLP 2019). Association for Computing Machinery, New York, NY, USA, 70--77. 10.1145\/3355378.3355388"},{"volume-title":"Sound and Complete Parsing for All Context-Free Grammars","author":"Ridge Tom","key":"e_1_3_2_1_28_1","unstructured":"Tom Ridge . 2011. Simple, Functional , Sound and Complete Parsing for All Context-Free Grammars . In Certified Programs and Proofs, Jean-Pierre Jouannaud and Zhong Shao (Eds.). Springer Berlin Heidelberg , Berlin, Heidelberg , 103--118. Tom Ridge. 2011. Simple, Functional, Sound and Complete Parsing for All Context-Free Grammars. In Certified Programs and Proofs, Jean-Pierre Jouannaud and Zhong Shao (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 103--118."},{"key":"e_1_3_2_1_29_1","unstructured":"Elton M. Cardoso Rodrigo G. Ribeiro. 2022. typed-peg Library - online repository. https:\/\/github.com\/lives-group\/typed-peg.  Elton M. Cardoso Rodrigo G. Ribeiro. 2022. typed-peg Library - online repository. https:\/\/github.com\/lives-group\/typed-peg."},{"key":"e_1_3_2_1_30_1","volume-title":"APLAS 2017, Suzhou, China, November 27-29, 2017, Proceedings (Lecture Notes in Computer Science","volume":"405","author":"Sulzmann Martin","year":"2017","unstructured":"Martin Sulzmann and Peter Thiemann . 2017 . A Computational Interpretation of Context-Free Expressions. In Programming Languages and Systems - 15th Asian Symposium , APLAS 2017, Suzhou, China, November 27-29, 2017, Proceedings (Lecture Notes in Computer Science , Vol. 10695), Bor-Yuh Evan Chang (Ed.). Springer, 387-- 405 . 10.1007\/978-3-319-71237-6_19 Martin Sulzmann and Peter Thiemann. 2017. A Computational Interpretation of Context-Free Expressions. In Programming Languages and Systems - 15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, Proceedings (Lecture Notes in Computer Science, Vol. 10695), Bor-Yuh Evan Chang (Ed.). Springer, 387--405. 10.1007\/978-3-319-71237-6_19"},{"key":"e_1_3_2_1_31_1","volume-title":"Proceedings of the 2008 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation","author":"Warth Alessandro","year":"2008","unstructured":"Alessandro Warth , James R. Douglass , and Todd Millstein . 2008 . Packrat Parsers Can Support Left Recursion . In Proceedings of the 2008 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation ( San Francisco, California, USA) (PEPM '08). Association for Computing Machinery, New York, NY, USA, 103--110. 10.1145\/1328408.1328424 Alessandro Warth, James R. Douglass, and Todd Millstein. 2008. Packrat Parsers Can Support Left Recursion. In Proceedings of the 2008 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation (San Francisco, California, USA) (PEPM '08). Association for Computing Machinery, New York, NY, USA, 103--110. 10.1145\/1328408.1328424"}],"event":{"name":"SAC '23: 38th ACM\/SIGAPP Symposium on Applied Computing","sponsor":["SIGAPP ACM Special Interest Group on Applied Computing"],"location":"Tallinn Estonia","acronym":"SAC '23"},"container-title":["Proceedings of the 38th ACM\/SIGAPP Symposium on Applied Computing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3555776.3577620","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3555776.3577620","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T17:49:20Z","timestamp":1750182560000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3555776.3577620"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,3,27]]},"references-count":31,"alternative-id":["10.1145\/3555776.3577620","10.1145\/3555776"],"URL":"https:\/\/doi.org\/10.1145\/3555776.3577620","relation":{},"subject":[],"published":{"date-parts":[[2023,3,27]]},"assertion":[{"value":"2023-06-07","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}