{"id":"https://openalex.org/W2776057993","doi":"https://doi.org/10.1145/3158127","title":"Linearity in higher-order recursion schemes","display_name":"Linearity in higher-order recursion schemes","publication_year":2017,"publication_date":"2017-12-27","ids":{"openalex":"https://openalex.org/W2776057993","doi":"https://doi.org/10.1145/3158127","mag":"2776057993"},"language":"en","primary_location":{"id":"doi:10.1145/3158127","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3158127","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3158127?download=true","source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Programming Languages","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3158127?download=true","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5008333115","display_name":"Pierre Clairambault","orcid":"https://orcid.org/0000-0002-3285-6028"},"institutions":[{"id":"https://openalex.org/I100532134","display_name":"Universit\u00e9 Claude Bernard Lyon 1","ror":"https://ror.org/029brtt94","country_code":"FR","type":"education","lineage":["https://openalex.org/I100532134","https://openalex.org/I203339264"]},{"id":"https://openalex.org/I113428412","display_name":"\u00c9cole Normale Sup\u00e9rieure de Lyon","ror":"https://ror.org/04zmssz18","country_code":"FR","type":"education","lineage":["https://openalex.org/I113428412","https://openalex.org/I203339264"]},{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Pierre Clairambault","raw_affiliation_strings":["University of Lyon, France / CNRS, France / ENS Lyon, France / Claude Bernard University Lyon 1, France / LIP, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Lyon, France / CNRS, France / ENS Lyon, France / Claude Bernard University Lyon 1, France / LIP, France","institution_ids":["https://openalex.org/I100532134","https://openalex.org/I113428412","https://openalex.org/I1294671590"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5028774121","display_name":"Charles Grellois","orcid":"https://orcid.org/0000-0003-0926-7484"},"institutions":[{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I143002897","display_name":"Universit\u00e9 de Toulon","ror":"https://ror.org/02m9kbe37","country_code":"FR","type":"education","lineage":["https://openalex.org/I143002897"]},{"id":"https://openalex.org/I21491767","display_name":"Aix-Marseille Universit\u00e9","ror":"https://ror.org/035xkbk20","country_code":"FR","type":"education","lineage":["https://openalex.org/I21491767"]},{"id":"https://openalex.org/I9360294","display_name":"University of Bologna","ror":"https://ror.org/01111rn36","country_code":"IT","type":"education","lineage":["https://openalex.org/I9360294"]}],"countries":["FR","IT"],"is_corresponding":false,"raw_author_name":"Charles Grellois","raw_affiliation_strings":["Inria, France / Aix-Marseille University, France / CNRS, France / ENSAM, France / University of Toulon, France","FOCUS - Foundations of Component-based Ubiquitous Systems (Dipartimento di Informatica - Scienza e Ingegneria (DISI)\r\nUniversita' di Bologna\r\nMura Anteo Zamboni, 7\r\n40126 Bologna\r\nITALY - Italy)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Inria, France / Aix-Marseille University, France / CNRS, France / ENSAM, France / University of Toulon, France","institution_ids":["https://openalex.org/I143002897","https://openalex.org/I1294671590","https://openalex.org/I21491767"]},{"raw_affiliation_string":"FOCUS - Foundations of Component-based Ubiquitous Systems (Dipartimento di Informatica - Scienza e Ingegneria (DISI)\r\nUniversita' di Bologna\r\nMura Anteo Zamboni, 7\r\n40126 Bologna\r\nITALY - Italy)","institution_ids":["https://openalex.org/I9360294"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5000119795","display_name":"Andrzej S. Murawski","orcid":"https://orcid.org/0000-0002-4725-410X"},"institutions":[{"id":"https://openalex.org/I40120149","display_name":"University of Oxford","ror":"https://ror.org/052gg0110","country_code":"GB","type":"education","lineage":["https://openalex.org/I40120149"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Andrzej S. Murawski","raw_affiliation_strings":["University of Oxford, UK","OUCL - Computing Laboratory (Oxford University Computing Laboratory Wolfson Building Parks Road OXFORD OX1 3QD UK - United Kingdom)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Oxford, UK","institution_ids":["https://openalex.org/I40120149"]},{"raw_affiliation_string":"OUCL - Computing Laboratory (Oxford University Computing Laboratory Wolfson Building Parks Road OXFORD OX1 3QD UK - United Kingdom)","institution_ids":["https://openalex.org/I40120149"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.2065,"has_fulltext":true,"cited_by_count":2,"citation_normalized_percentile":{"value":0.66549042,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":"2","issue":"POPL","first_page":"1","last_page":"29"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9976000189781189,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9976000189781189,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9954000115394592,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11424","display_name":"Security and Verification in Computing","score":0.9950000047683716,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/decidability","display_name":"Decidability","score":0.6719741821289062},{"id":"https://openalex.org/keywords/recursion","display_name":"Recursion (computer science)","score":0.5898030996322632},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.5659510493278503},{"id":"https://openalex.org/keywords/linearity","display_name":"Linearity","score":0.5326972007751465},{"id":"https://openalex.org/keywords/time-complexity","display_name":"Time complexity","score":0.5120142102241516},{"id":"https://openalex.org/keywords/order","display_name":"Order (exchange)","score":0.5102434158325195},{"id":"https://openalex.org/keywords/linear-logic","display_name":"Linear logic","score":0.4811028838157654},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.435712993144989},{"id":"https://openalex.org/keywords/function","display_name":"Function (biology)","score":0.43063271045684814},{"id":"https://openalex.org/keywords/type","display_name":"Type (biology)","score":0.4223233759403229},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.4204004406929016},{"id":"https://openalex.org/keywords/polynomial","display_name":"Polynomial","score":0.4191761016845703},{"id":"https://openalex.org/keywords/tree","display_name":"Tree (set theory)","score":0.418077290058136},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.324550986289978},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.2959064245223999},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.19335198402404785}],"concepts":[{"id":"https://openalex.org/C153269930","wikidata":"https://www.wikidata.org/wiki/Q430001","display_name":"Decidability","level":2,"score":0.6719741821289062},{"id":"https://openalex.org/C168773036","wikidata":"https://www.wikidata.org/wiki/Q264164","display_name":"Recursion (computer science)","level":2,"score":0.5898030996322632},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5659510493278503},{"id":"https://openalex.org/C77170095","wikidata":"https://www.wikidata.org/wiki/Q1753188","display_name":"Linearity","level":2,"score":0.5326972007751465},{"id":"https://openalex.org/C311688","wikidata":"https://www.wikidata.org/wiki/Q2393193","display_name":"Time complexity","level":2,"score":0.5120142102241516},{"id":"https://openalex.org/C182306322","wikidata":"https://www.wikidata.org/wiki/Q1779371","display_name":"Order (exchange)","level":2,"score":0.5102434158325195},{"id":"https://openalex.org/C28077239","wikidata":"https://www.wikidata.org/wiki/Q841728","display_name":"Linear logic","level":2,"score":0.4811028838157654},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.435712993144989},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.43063271045684814},{"id":"https://openalex.org/C2777299769","wikidata":"https://www.wikidata.org/wiki/Q3707858","display_name":"Type (biology)","level":2,"score":0.4223233759403229},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.4204004406929016},{"id":"https://openalex.org/C90119067","wikidata":"https://www.wikidata.org/wiki/Q43260","display_name":"Polynomial","level":2,"score":0.4191761016845703},{"id":"https://openalex.org/C113174947","wikidata":"https://www.wikidata.org/wiki/Q2859736","display_name":"Tree (set theory)","level":2,"score":0.418077290058136},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.324550986289978},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.2959064245223999},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.19335198402404785},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C10138342","wikidata":"https://www.wikidata.org/wiki/Q43015","display_name":"Finance","level":1,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C78458016","wikidata":"https://www.wikidata.org/wiki/Q840400","display_name":"Evolutionary biology","level":1,"score":0.0},{"id":"https://openalex.org/C18903297","wikidata":"https://www.wikidata.org/wiki/Q7150","display_name":"Ecology","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/3158127","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3158127","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3158127?download=true","source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Programming Languages","raw_type":"journal-article"},{"id":"pmh:oai:HAL:hal-01886931v1","is_oa":false,"landing_page_url":"https://hal.science/hal-01886931","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Proceedings of the ACM on Programming Languages, 2017, 2, pp.1 - 29. ⟨10.1145/3158127⟩","raw_type":"Journal articles"}],"best_oa_location":{"id":"doi:10.1145/3158127","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3158127","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3158127?download=true","source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Programming Languages","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G2726473892","display_name":null,"funder_award_id":"ANR-11-IDEX-0007","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"},{"id":"https://openalex.org/G3584739849","display_name":null,"funder_award_id":"ANR-10-LABX-0070","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"},{"id":"https://openalex.org/G4866930200","display_name":null,"funder_award_id":"ANR-11-IDEX","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"},{"id":"https://openalex.org/G5701317573","display_name":null,"funder_award_id":"11-IDEX-0007","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"},{"id":"https://openalex.org/G5781194242","display_name":null,"funder_award_id":"ANR-14-CE25-0007","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"},{"id":"https://openalex.org/G6494969328","display_name":null,"funder_award_id":"ANR-10-LABX-0070","funder_id":"https://openalex.org/F4320326804","funder_display_name":"Universit\u00e9 de Lyon"},{"id":"https://openalex.org/G7211054625","display_name":null,"funder_award_id":"ANR-11-IDEX-0007","funder_id":"https://openalex.org/F4320326804","funder_display_name":"Universit\u00e9 de Lyon"},{"id":"https://openalex.org/G7240651115","display_name":null,"funder_award_id":"ANR-10","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"},{"id":"https://openalex.org/G8238292487","display_name":null,"funder_award_id":"14-CE25","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"}],"funders":[{"id":"https://openalex.org/F4320320184","display_name":"London Mathematical Society","ror":"https://ror.org/01r1e1h27"},{"id":"https://openalex.org/F4320320883","display_name":"Agence Nationale de la Recherche","ror":"https://ror.org/00rbzpz17"},{"id":"https://openalex.org/F4320326804","display_name":"Universit\u00e9 de Lyon","ror":"https://ror.org/01rk35k63"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2776057993.pdf","grobid_xml":"https://content.openalex.org/works/W2776057993.grobid-xml"},"referenced_works_count":37,"referenced_works":["https://openalex.org/W20138908","https://openalex.org/W61447513","https://openalex.org/W350391862","https://openalex.org/W856472792","https://openalex.org/W1496335730","https://openalex.org/W1505081061","https://openalex.org/W1512204044","https://openalex.org/W1795516371","https://openalex.org/W1854521429","https://openalex.org/W1989109065","https://openalex.org/W1991950204","https://openalex.org/W1994090338","https://openalex.org/W2009987765","https://openalex.org/W2051749751","https://openalex.org/W2055765422","https://openalex.org/W2071164478","https://openalex.org/W2078285934","https://openalex.org/W2099554648","https://openalex.org/W2102644483","https://openalex.org/W2122698067","https://openalex.org/W2134918221","https://openalex.org/W2138308600","https://openalex.org/W2138316064","https://openalex.org/W2139254765","https://openalex.org/W2141505892","https://openalex.org/W2142927307","https://openalex.org/W2169417140","https://openalex.org/W2290993782","https://openalex.org/W2294349880","https://openalex.org/W2517956070","https://openalex.org/W2743280555","https://openalex.org/W2911865844","https://openalex.org/W3019389875","https://openalex.org/W3103534563","https://openalex.org/W4237817328","https://openalex.org/W4242565038","https://openalex.org/W4256174789"],"related_works":["https://openalex.org/W2331020993","https://openalex.org/W2972379433","https://openalex.org/W4383764068","https://openalex.org/W1481826604","https://openalex.org/W1797057780","https://openalex.org/W1501430220","https://openalex.org/W3187762542","https://openalex.org/W1587864502","https://openalex.org/W2583753471","https://openalex.org/W1505636692"],"abstract_inverted_index":{"Higher-order":[0],"recursion":[1],"schemes":[2],"(HORS)":[3],"have":[4],"recently":[5],"emerged":[6],"as":[7],"a":[8,38,82,147,213,217],"promising":[9],"foundation":[10],"for":[11,107],"higher-order":[12],"program":[13],"verification.":[14],"We":[15,99],"examine":[16],"the":[17,41,57,102,126,138,141,174,182,189,192,198,234,252,271],"impact":[18],"of":[19,40,47,75,85,104,129,143,156,158,177,185,191,204],"enriching":[20],"HORS":[21,51,205],"with":[22,206],"linear":[23,36,50,114,117,133,144,159,165],"types.":[24],"To":[25,187],"that":[26,32,56,101,153,251,268],"end,":[27],"we":[28,54,80,194,249],"introduce":[29],"two":[30,58,111,196],"frameworks":[31],"blend":[33],"non-linear":[34],"and":[35,44,62,116,131,171,210,216,260],"types:":[37],"variant":[39],"\u03bbY":[42],"-calculus":[43],"an":[45],"extension":[46],"HORS,":[48,232],"called":[49,90],"(LHORS).":[52],"First":[53],"prove":[55],"formalisms":[59],"are":[60,265],"equivalent":[61],"there":[63],"exist":[64],"polynomial-time":[65],"translations":[66,257],"between":[67],"them.":[68],"Then,":[69],"in":[70,122,244,267],"order":[71,115,130,160],"to":[72,242,262],"support":[73],"model-checking":[74,106,155,200],"(trees":[76],"generated":[77],"by)":[78],"LHORS,":[79],"propose":[81],"refined":[83],"version":[84],"alternating":[86],"parity":[87],"tree":[88],"automata,":[89],"LNAPTA,":[91],"whose":[92],"behaviour":[93],"depends":[94,109],"on":[95,110,181,202,212],"information":[96],"about":[97],"linearity.":[98],"show":[100,250],"complexity":[103,236,253],"LNAPTA":[105,154],"LHORS":[108,157,259],"type-theoretic":[112],"parameters:":[113],"depth.":[118],"The":[119],"former":[120],"is":[121,162,167],"general":[123],"smaller":[124],"than":[125],"standard":[127,183],"notion":[128,184],"ignores":[132],"function":[134],"spaces.":[135],"In":[136,222,247],"contrast,":[137,248],"latter":[139],"measures":[140],"depth":[142,166],"clusters":[145],"inside":[146],"type.":[148],"Our":[149],"main":[150],"result":[151,176,264],"states":[152],"n":[161],"n-EXPTIME-complete,":[163],"when":[164],"fixed.":[168],"This":[169],"generalizes":[170],"improves":[172],"upon":[173],"classic":[175],"Ong,":[178],"which":[179],"relies":[180],"order.":[186,246],"illustrate":[188],"significance":[190],"result,":[193],"consider":[195],"applications:":[197],"MSO":[199],"problem":[201],"variants":[203],"case":[207],"distinction":[208],"(RSFD":[209],"HORSC)":[211],"finite":[214],"domain":[215],"call-by-value":[218],"resource":[219],"verification":[220],"problem.":[221],"both":[223],"cases,":[224],"decidability":[225],"can":[226],"be":[227,239],"established":[228],"by":[229,256],"translation":[230],"into":[231,258],"but":[233],"implied":[235],"bounds":[237,254],"will":[238],"suboptimal":[240],"due":[241],"increases":[243],"type":[245],"derived":[255],"appealing":[261],"our":[263],"optimal":[266],"they":[269],"match":[270],"respective":[272],"hardness":[273],"results.":[274]},"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2019,"cited_by_count":1}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}