{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,13]],"date-time":"2025-12-13T23:10:14Z","timestamp":1765667414728,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":45,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,9,20]],"date-time":"2022-09-20T00:00:00Z","timestamp":1663632000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2022,9,20]]},"DOI":"10.1145\/3551357.3551370","type":"proceedings-article","created":{"date-parts":[[2022,9,20]],"date-time":"2022-09-20T15:37:25Z","timestamp":1663688245000},"page":"1-15","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["A Monadic Implementation of Functional Logic Programs"],"prefix":"10.1145","author":[{"given":"Michael","family":"Hanus","sequence":"first","affiliation":[{"name":"Institut f\u00fcr Informatik, Kiel University, Germany"}]},{"given":"Kai-Oliver","family":"Prott","sequence":"additional","affiliation":[{"name":"Institut f\u00fcr Informatik, Kiel University, Germany"}]},{"given":"Finn","family":"Teegen","sequence":"additional","affiliation":[{"name":"Institut f\u00fcr Informatik, Kiel University, Germany"}]}],"member":"320","published-online":{"date-parts":[[2022,9,20]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/1088348.1088355"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2004.01.001"},{"key":"e_1_3_2_1_3_1","first-page":"m2010","volume-title":"Proc. of the Third International Workshop on Graph Computation Models. Published Online","author":"Alqaddoumi A.","year":"2010","unstructured":"A. Alqaddoumi , S. Antoy , S. Fischer , and F. Reck . 2010. The Pull-Tab Transformation . In Proc. of the Third International Workshop on Graph Computation Models. Published Online , Enschede, The Netherlands, 127\u2013132. Available at http:\/\/gcm 2010 .imag.fr\/pages\/gc m2010 -preproceedings.pdf. A. Alqaddoumi, S. Antoy, S. Fischer, and F. Reck. 2010. The Pull-Tab Transformation. In Proc. of the Third International Workshop on Graph Computation Models. Published Online, Enschede, The Netherlands, 127\u2013132. Available at http:\/\/gcm2010.imag.fr\/pages\/gcm2010-preproceedings.pdf."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0027000"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/773184.773205"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068411000263"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/347476.347484"},{"key":"e_1_3_2_1_8_1","volume-title":"Proc. International Workshop on Frontiers of Combining Systems (FroCoS\u20192000)","author":"Antoy S.","year":"2008","unstructured":"S. Antoy and M. Hanus . 2000. Compiling Multi-Paradigm Declarative Programs into Prolog . In Proc. International Workshop on Frontiers of Combining Systems (FroCoS\u20192000) . Springer LNCS 1794, Berlin, Heidelberg, 171\u2013185. https:\/\/doi.org\/10.1007\/107 2008 4_12 10.1007\/10720084_12 S. Antoy and M. Hanus. 2000. Compiling Multi-Paradigm Declarative Programs into Prolog. In Proc. International Workshop on Frontiers of Combining Systems (FroCoS\u20192000). Springer LNCS 1794, Berlin, Heidelberg, 171\u2013185. https:\/\/doi.org\/10.1007\/10720084_12"},{"volume-title":"Proceedings of the International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR\u201905)","author":"Antoy S.","key":"e_1_3_2_1_9_1","unstructured":"S. Antoy and M. Hanus . 2005. Declarative Programming with Function Patterns . In Proceedings of the International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR\u201905) . Springer LNCS 3901, Berlin, Heidelberg, 6\u201322. https:\/\/doi.org\/10.1007\/11680093_2 10.1007\/11680093_2 S. Antoy and M. Hanus. 2005. Declarative Programming with Function Patterns. In Proceedings of the International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR\u201905). Springer LNCS 3901, Berlin, Heidelberg, 6\u201322. https:\/\/doi.org\/10.1007\/11680093_2"},{"key":"e_1_3_2_1_10_1","volume-title":"Proceedings of the 22nd International Conference on Logic Programming (ICLP","author":"Antoy S.","year":"2006","unstructured":"S. Antoy and M. Hanus . 2006. Overlapping Rules and Logic Variables in Functional Logic Programs . In Proceedings of the 22nd International Conference on Logic Programming (ICLP 2006 ). Springer LNCS 4079, Berlin, Heidelberg, 87\u2013101. https:\/\/doi.org\/10.1007\/11799573_9 10.1007\/11799573_9 S. Antoy and M. Hanus. 2006. Overlapping Rules and Logic Variables in Functional Logic Programs. In Proceedings of the 22nd International Conference on Logic Programming (ICLP 2006). Springer LNCS 4079, Berlin, Heidelberg, 87\u2013101. https:\/\/doi.org\/10.1007\/11799573_9"},{"volume-title":"Proceedings of the 11th ACM SIGPLAN International Conference on Principles and Practice of Declarative Programming (PPDP\u201909)","author":"Antoy S.","key":"e_1_3_2_1_11_1","unstructured":"S. Antoy and M. Hanus . 2009. Set Functions for Functional Logic Programming . In Proceedings of the 11th ACM SIGPLAN International Conference on Principles and Practice of Declarative Programming (PPDP\u201909) . ACM Press, New York, NY, USA, 73\u201382. https:\/\/doi.org\/10.1145\/1599410.1599420 10.1145\/1599410.1599420 S. Antoy and M. Hanus. 2009. Set Functions for Functional Logic Programming. In Proceedings of the 11th ACM SIGPLAN International Conference on Principles and Practice of Declarative Programming (PPDP\u201909). ACM Press, New York, NY, USA, 73\u201382. https:\/\/doi.org\/10.1145\/1599410.1599420"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1721654.1721675"},{"key":"#cr-split#-e_1_3_2_1_13_1.1","doi-asserted-by":"crossref","unstructured":"S. Antoy M. Hanus A. Jost and S. Libby. 2020. ICurry. In Declarative Programming and Knowledge Management - Conference on Declarative Programming (DECLARE 2019). Springer LNCS 12057 Berlin Heidelberg 286-307. https:\/\/doi.org\/10.1007\/978-3-030-46714-2_18 10.1007\/978-3-030-46714-2_18","DOI":"10.1007\/978-3-030-46714-2_18"},{"key":"#cr-split#-e_1_3_2_1_13_1.2","doi-asserted-by":"crossref","unstructured":"S. Antoy M. Hanus A. Jost and S. Libby. 2020. ICurry. In Declarative Programming and Knowledge Management - Conference on Declarative Programming (DECLARE 2019). Springer LNCS 12057 Berlin Heidelberg 286-307. https:\/\/doi.org\/10.1007\/978-3-030-46714-2_18","DOI":"10.1007\/978-3-030-46714-2_18"},{"key":"e_1_3_2_1_14_1","volume-title":"Proceedings of the 26th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR","author":"Antoy S.","year":"2016","unstructured":"S. Antoy and A. Jost . 2016. A New Functional-Logic Compiler for Curry: Sprite . In Proceedings of the 26th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2016 ). Springer LNCS 10184, Berlin, Heidelberg, 97\u2013113. https:\/\/doi.org\/10.1007\/978-3-319-63139-4_6 10.1007\/978-3-319-63139-4_6 S. Antoy and A. Jost. 2016. A New Functional-Logic Compiler for Curry: Sprite. In Proceedings of the 26th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2016). Springer LNCS 10184, Berlin, Heidelberg, 97\u2013113. https:\/\/doi.org\/10.1007\/978-3-319-63139-4_6"},{"key":"#cr-split#-e_1_3_2_1_15_1.1","doi-asserted-by":"crossref","unstructured":"F. Baader and T. Nipkow. 1998. Term Rewriting and All That. Cambridge University Press Cambridge UK. https:\/\/doi.org\/10.1017\/CBO9781139172752 10.1017\/CBO9781139172752","DOI":"10.1017\/CBO9781139172752"},{"key":"#cr-split#-e_1_3_2_1_15_1.2","doi-asserted-by":"crossref","unstructured":"F. Baader and T. Nipkow. 1998. Term Rewriting and All That. Cambridge University Press Cambridge UK. https:\/\/doi.org\/10.1017\/CBO9781139172752","DOI":"10.1017\/CBO9781139172752"},{"key":"e_1_3_2_1_16_1","volume-title":"Proc. of the 23rd International Symposium on Principles and Practice of Declarative Programming (PPDP","author":"B\u00f6hm J.","year":"2021","unstructured":"J. B\u00f6hm , M. Hanus , and F. Teegen . 2021. From Non-determinism to Goroutines: A Fair Implementation of Curry in Go . In Proc. of the 23rd International Symposium on Principles and Practice of Declarative Programming (PPDP 2021 ). ACM Press, New York, NY, USA, 16:1\u201316:15. https:\/\/doi.org\/10.1145\/3479394.3479411 10.1145\/3479394.3479411 J. B\u00f6hm, M. Hanus, and F. Teegen. 2021. From Non-determinism to Goroutines: A Fair Implementation of Curry in Go. In Proc. of the 23rd International Symposium on Principles and Practice of Declarative Programming (PPDP 2021). ACM Press, New York, NY, USA, 16:1\u201316:15. https:\/\/doi.org\/10.1145\/3479394.3479411"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-22531-4_1"},{"key":"e_1_3_2_1_18_1","volume-title":"Proc. APLAS","author":"Bra\u00dfel B.","year":"2007","unstructured":"B. Bra\u00dfel and F. Huch . 2007. On a Tighter Integration of Functional and Logic Programming . In Proc. APLAS 2007 . Springer LNCS 4807, Berlin, Heidelberg, 122\u2013138. https:\/\/doi.org\/10.1007\/978-3-540-76637-7_9 10.1007\/978-3-540-76637-7_9 B. Bra\u00dfel and F. Huch. 2007. On a Tighter Integration of Functional and Logic Programming. In Proc. APLAS 2007. Springer LNCS 4807, Berlin, Heidelberg, 122\u2013138. https:\/\/doi.org\/10.1007\/978-3-540-76637-7_9"},{"volume-title":"Proc. of the 15th International Symposium on Principle and Practice of Declarative Programming (PPDP\u201913)","author":"Christiansen J.","key":"e_1_3_2_1_19_1","unstructured":"J. Christiansen , M. Hanus , F. Reck , and D. Seidel . 2013. A Semantics for Weakly Encapsulated Search in Functional Logic Programs . In Proc. of the 15th International Symposium on Principle and Practice of Declarative Programming (PPDP\u201913) . ACM Press, New York, NY, USA, 49\u201360. https:\/\/doi.org\/10.1145\/2505879.2505896 10.1145\/2505879.2505896 J. Christiansen, M. Hanus, F. Reck, and D. Seidel. 2013. A Semantics for Weakly Encapsulated Search in Functional Logic Programs. In Proc. of the 15th International Symposium on Principle and Practice of Declarative Programming (PPDP\u201913). ACM Press, New York, NY, USA, 49\u201360. https:\/\/doi.org\/10.1145\/2505879.2505896"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796811000189"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0743-1066(98)10029-8"},{"key":"e_1_3_2_1_22_1","volume-title":"Technical Communications of the 28th International Conference on Logic Programming","author":"Hanus M.","year":"2012","unstructured":"M. Hanus . 2012 . Improving Lazy Non-Deterministic Computations by Demand Analysis . In Technical Communications of the 28th International Conference on Logic Programming , Vol.\u00a017. Leibniz International Proceedings in Informatics (LIPIcs), Dagstuhl, Germany, 130\u2013143. https:\/\/doi.org\/10.4230\/LIPIcs.ICLP. 2012.130 10.4230\/LIPIcs.ICLP.2012.130 M. Hanus. 2012. Improving Lazy Non-Deterministic Computations by Demand Analysis. In Technical Communications of the 28th International Conference on Logic Programming, Vol.\u00a017. Leibniz International Proceedings in Informatics (LIPIcs), Dagstuhl, Germany, 130\u2013143. https:\/\/doi.org\/10.4230\/LIPIcs.ICLP.2012.130"},{"volume-title":"Programming Logics - Essays in Memory of Harald Ganzinger","author":"Hanus M.","key":"e_1_3_2_1_23_1","unstructured":"M. Hanus . 2013. Functional Logic Programming: From Theory to Curry . In Programming Logics - Essays in Memory of Harald Ganzinger . Springer LNCS 7797, Berlin, Heidelberg, 123\u2013168. https:\/\/doi.org\/10.1007\/978-3-642-37651-1_6 10.1007\/978-3-642-37651-1_6 M. Hanus. 2013. Functional Logic Programming: From Theory to Curry. In Programming Logics - Essays in Memory of Harald Ganzinger. Springer LNCS 7797, Berlin, Heidelberg, 123\u2013168. https:\/\/doi.org\/10.1007\/978-3-642-37651-1_6"},{"key":"e_1_3_2_1_24_1","volume-title":"PAKCS: The Portland Aachen Kiel Curry System.","author":"Hanus M.","year":"2021","unstructured":"M. Hanus , S. Antoy , B. Bra\u00dfel , M. Engelke , K. H\u00f6ppner , J. Koj , P. Niederau , R. Sadre , F. Steiner , and F. Teegen . 2021 . PAKCS: The Portland Aachen Kiel Curry System. Available at http:\/\/www.informatik.uni-kiel.de\/~pakcs\/. M. Hanus, S. Antoy, B. Bra\u00dfel, M. Engelke, K. H\u00f6ppner, J. Koj, P. Niederau, R. Sadre, F. Steiner, and F. Teegen. 2021. PAKCS: The Portland Aachen Kiel Curry System. Available at http:\/\/www.informatik.uni-kiel.de\/~pakcs\/."},{"key":"e_1_3_2_1_25_1","volume-title":"Proc. of the 5th Working Conference on Programming Languages (ATPS\u201912)","author":"Hanus M.","year":"1837","unstructured":"M. Hanus , B. Peem\u00f6ller , and F. Reck . 2012. Search Strategies for Functional Logic Programming . In Proc. of the 5th Working Conference on Programming Languages (ATPS\u201912) . Springer LNI 199, Bonn, 61\u201374. https:\/\/doi.org\/20.500.12116\/ 1837 6 M. Hanus, B. Peem\u00f6ller, and F. Reck. 2012. Search Strategies for Functional Logic Programming. In Proc. of the 5th Working Conference on Programming Languages (ATPS\u201912). Springer LNI 199, Bonn, 61\u201374. https:\/\/doi.org\/20.500.12116\/18376"},{"key":"e_1_3_2_1_26_1","volume-title":"Proc. of the 28th International Workshop on Functional and (Constraint) Logic Programming (WFLP","author":"Hanus M.","year":"2020","unstructured":"M. Hanus and F. Teegen . 2021. Memoized Pull-Tabbing for Functional Logic Programming . In Proc. of the 28th International Workshop on Functional and (Constraint) Logic Programming (WFLP 2020 ). Springer LNCS 12560, Berlin, Heidelberg, 57\u201373. https:\/\/doi.org\/10.1007\/978-3-030-75333-7_4 10.1007\/978-3-030-75333-7_4 M. Hanus and F. Teegen. 2021. Memoized Pull-Tabbing for Functional Logic Programming. In Proc. of the 28th International Workshop on Functional and (Constraint) Logic Programming (WFLP 2020). Springer LNCS 12560, Berlin, Heidelberg, 57\u201373. https:\/\/doi.org\/10.1007\/978-3-030-75333-7_4"},{"key":"e_1_3_2_1_27_1","volume-title":"Curry: An Integrated Functional Logic Language (Vers. 0.9.0).","author":"M.","year":"2016","unstructured":"M. Hanus\u00a0(ed.). 2016 . Curry: An Integrated Functional Logic Language (Vers. 0.9.0). Available at http:\/\/www.curry-lang.org. M. Hanus\u00a0(ed.). 2016. Curry: An Integrated Functional Logic Language (Vers. 0.9.0). Available at http:\/\/www.curry-lang.org."},{"volume-title":"Computational Logic: Essays in Honor of Alan Robinson, J.-L. Lassez and G.\u00a0Plotkin (Eds.)","author":"Huet G.","key":"e_1_3_2_1_28_1","unstructured":"G. Huet and J.-J. L\u00e9vy . 1991. Computations in Orthogonal Rewriting Systems . In Computational Logic: Essays in Honor of Alan Robinson, J.-L. Lassez and G.\u00a0Plotkin (Eds.) . MIT Press , Cambridge, Massachusetts , 395\u2013443. G. Huet and J.-J. L\u00e9vy. 1991. Computations in Orthogonal Rewriting Systems. In Computational Logic: Essays in Honor of Alan Robinson, J.-L. Lassez and G.\u00a0Plotkin (Eds.). MIT Press, Cambridge, Massachusetts, 395\u2013443."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1016\/0743-1066(92)90026-Y"},{"volume-title":"Functional Programming Languages and Computer Architecture","author":"Johnsson T.","key":"e_1_3_2_1_30_1","unstructured":"T. Johnsson . 1985. Lambda Lifting: Transforming Programs to Recursive Functions . In Functional Programming Languages and Computer Architecture . Springer LNCS 201, Berlin, Heidelberg, 190\u2013203. https:\/\/doi.org\/10.1007\/3-540-15975-4_37 10.1007\/3-540-15975-4_37 T. Johnsson. 1985. Lambda Lifting: Transforming Programs to Recursive Functions. In Functional Programming Languages and Computer Architecture. Springer LNCS 201, Berlin, Heidelberg, 190\u2013203. https:\/\/doi.org\/10.1007\/3-540-15975-4_37"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/3485479"},{"volume-title":"Foundations of Logic Programming","author":"Lloyd J.W.","key":"e_1_3_2_1_32_1","unstructured":"J.W. Lloyd . 1987. Foundations of Logic Programming . Springer , second, extended edition, Berlin, Heidelberg. https:\/\/doi.org\/10.1007\/978-3-642-96826-6 10.1007\/978-3-642-96826-6 J.W. Lloyd. 1987. Foundations of Logic Programming. Springer, second, extended edition, Berlin, Heidelberg. https:\/\/doi.org\/10.1007\/978-3-642-96826-6"},{"key":"e_1_3_2_1_33_1","volume-title":"TOY: A Multiparadigm Declarative System. In Proc. of RTA\u201999","author":"L\u00f3pez-Fraguas F.","year":"1999","unstructured":"F. L\u00f3pez-Fraguas and J. S\u00e1nchez-Hern\u00e1ndez . 1999 . TOY: A Multiparadigm Declarative System. In Proc. of RTA\u201999 . Springer LNCS 1631, Berlin, Heidelberg, 244\u2013247. https:\/\/doi.org\/10.1007\/3-540-48685-2_19 10.1007\/3-540-48685-2_19 F. L\u00f3pez-Fraguas and J. S\u00e1nchez-Hern\u00e1ndez. 1999. TOY: A Multiparadigm Declarative System. In Proc. of RTA\u201999. Springer LNCS 1631, Berlin, Heidelberg, 244\u2013247. https:\/\/doi.org\/10.1007\/3-540-48685-2_19"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.76.7"},{"key":"e_1_3_2_1_36_1","unstructured":"S. Peyton\u00a0Jones (Ed.). 2003. Haskell 98 Language and Libraries\u2014The Revised Report. Cambridge University Press Cambridge UK.  S. Peyton\u00a0Jones (Ed.). 2003. Haskell 98 Language and Libraries\u2014The Revised Report. Cambridge University Press Cambridge UK."},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/268946.268951"},{"key":"e_1_3_2_1_38_1","volume-title":"Proc. IEEE International Symposium on Logic Programming. IEEE Computer Society","author":"Reddy U.S.","year":"1985","unstructured":"U.S. Reddy . 1985 . Narrowing as the Operational Semantics of Functional Languages . In Proc. IEEE International Symposium on Logic Programming. IEEE Computer Society , Boston, 138\u2013151. U.S. Reddy. 1985. Narrowing as the Operational Semantics of Functional Languages. In Proc. IEEE International Symposium on Logic Programming. IEEE Computer Society, Boston, 138\u2013151."},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/321250.321253"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/321850.321859"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/3471874.3472982"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-15975-4_33"},{"key":"e_1_3_2_1_43_1","volume-title":"Comprehending Monads. In Proc. 1990 ACM Conference on LISP and Functional Programming. ACM","author":"Wadler P.","year":"1990","unstructured":"P. Wadler . 1990 . Comprehending Monads. In Proc. 1990 ACM Conference on LISP and Functional Programming. ACM , New York, NY, USA, 61\u201378. https:\/\/doi.org\/10.1145\/91556.91592 10.1145\/91556.91592 P. Wadler. 1990. Comprehending Monads. In Proc. 1990 ACM Conference on LISP and Functional Programming. ACM, New York, NY, USA, 61\u201378. https:\/\/doi.org\/10.1145\/91556.91592"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/262009.262011"}],"event":{"name":"PPDP 2022: 24th International Symposium on Principles and Practice of Declarative Programming","acronym":"PPDP 2022","location":"Tbilisi Georgia"},"container-title":["Proceedings of the 24th International Symposium on Principles and Practice of Declarative Programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3551357.3551370","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3551357.3551370","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T19:00:24Z","timestamp":1750186824000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3551357.3551370"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,9,20]]},"references-count":45,"alternative-id":["10.1145\/3551357.3551370","10.1145\/3551357"],"URL":"https:\/\/doi.org\/10.1145\/3551357.3551370","relation":{},"subject":[],"published":{"date-parts":[[2022,9,20]]},"assertion":[{"value":"2022-09-20","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}