%%====================================================================== %% WARNING: Do NOT edit this file. It was produced automatically %% with the UNIX pipeline %% %% biblex xxx.bib | \ %% gawk -f keywords.awk | \ %% egrep 'entrytype$' | \ %% gawk -f fmtwords.awk >xxx.xwx %% %% by beebe@gamma.math.utah.edu on Tue Oct 31 06:10:27 MDT 2023 %%====================================================================== \ifx \NAMECITE \undefined % User can override this definition \def \NAMECITE #1#2{{\bf #1} \cite{#2}} \fi \NAMECITE{$1$}{% Chalopin:2019:SPN% }. \NAMECITE{$2$}{% Martini:2021:SLN% }. \NAMECITE{$_{mod}$}{% Benedikt:2009:RTL% }. \NAMECITE{$ \alpha $}{% Basaldella:2021:RAM% }. \NAMECITE{$ \alpha \beta $}{% Basaldella:2021:RAM% }. \NAMECITE{$ \lambda $}{% Ketema:2013:LUB,% Momigliano:2003:HOP% }. \NAMECITE{$ \lambda \delta $}{% Guidi:2009:FS% }. \NAMECITE{$ \Lambda \mu $}{% Saurin:2010:TSC,% VanBakel:2018:CNP% }. \NAMECITE{$ \mu $}{% Geneves:2015:EDC,% McIver:2007:RQC% }. \NAMECITE{$ n! $}{% Adler:2003:LBF% }. \NAMECITE{$O$}{% Almagor:2022:MID% }. \NAMECITE{$ O(m \log n) $}{% Groote:2017:ACS% }. \NAMECITE{$ \omega $}{% Baier:2007:VNP,% Chatterjee:2009:FWR% }. \NAMECITE{$p$}{% Krajicek:2021:SCD% }. \NAMECITE{$ \pi $}{% Tiu:2010:PSS% }. \NAMECITE{$ q{M} \mu $}{% McIver:2007:RQC% }. \NAMECITE{$ \times $}{% Hertling:2021:ECL% }. \NAMECITE{-Calculus}{% Geneves:2015:EDC,% Ketema:2013:LUB,% McIver:2007:RQC,% Tiu:2010:PSS,% Momigliano:2003:HOP,% Saurin:2010:TSC% }. \NAMECITE{{}-Minimal}{% Almagor:2022:MID% }. \NAMECITE{-regular}{% Baier:2007:VNP,% Chatterjee:2009:FWR% }. \NAMECITE{-Relations}{% Basaldella:2021:RAM% }. \NAMECITE{-Renaming}{% Basaldella:2021:RAM% }. \NAMECITE{-Safe}{% Chalopin:2019:SPN% }. \NAMECITE{-Sequents}{% Martini:2021:SLN% }. \NAMECITE{-time}{% Krajicek:2021:SCD% }. \NAMECITE{{2003}}{% Kolaitis:2005:LSI% }. \NAMECITE{{2008}}{% Kaminski:2010:CSI% }. \NAMECITE{{2SAT}}{% Subramani:2004:OLT% }. \NAMECITE{3-valued}{% Shoham:2007:GBF% }. \NAMECITE{abduction}{% Liberatore:2007:CPA,% Lin:2007:RCA% }. \NAMECITE{Abductive}{% Komosinski:2014:IEA,% Molinaro:2014:SSS,% Simari:2013:PAQ,% Alberti:2008:VAI% }. \NAMECITE{abelian}{% Metcalfe:2005:SHC% }. \NAMECITE{Abilities}{% Bulling:2019:RAS% }. \NAMECITE{ability}{% Goranko:2009:TBD% }. \NAMECITE{abnormality}{% Cadoli:2005:CPN% }. \NAMECITE{Abstract}{% Blass:2003:ASM,% Blass:2008:ASM,% Bonacina:2007:ACI,% Fazzinga:2015:CPA,% Hou:2018:MLS,% Mastroeni:2017:APS,% Tucker:2002:ACA,% Tucker:2004:AVC,% Giacobazzi:2005:MAD,% Gurevich:2000:SAS,% McDowell:2002:RHO% }. \NAMECITE{abstract-state}{% Gurevich:2000:SAS% }. \NAMECITE{Abstraction}{% Cranen:2015:AFL,% Chadha:2010:CGA,% Lahiri:2007:PAI,% Laplante:2007:PAM,% Shoham:2007:GBF% }. \NAMECITE{abstraction-refinement}{% Chadha:2010:CGA,% Shoham:2007:GBF% }. \NAMECITE{Abstractions}{% Ganty:2021:CAC,% Nielson:2011:MAC,% Yorsh:2007:LCH% }. \NAMECITE{Access}{% Benedikt:2020:MDT% }. \NAMECITE{accessing}{% Alur:2012:AAA% }. \NAMECITE{Accumulative}{% Boker:2014:TSA% }. \NAMECITE{{Ackermann}}{% Lazic:2016:ZHH% }. \NAMECITE{{Ackermann}-Complete}{% Lazic:2016:ZHH% }. \NAMECITE{Acquisition}{% Deuser:2021:SKA% }. \NAMECITE{{ACT}}{% Gall:2018:OSC% }. \NAMECITE{{ACT-R}}{% Gall:2018:OSC% }. \NAMECITE{Action}{% Kuznetsov:2021:ALU,% Ponomaryov:2017:PDL,% Bravetti:2002:DAW% }. \NAMECITE{actions}{% Dyckhoff:2013:APT,% Iocchi:2009:RAA% }. \NAMECITE{Active}{% Bogaerts:2021:SAF% }. \NAMECITE{Activities}{% Aameri:2019:RTC% }. \NAMECITE{Actor}{% Albert:2016:MHP% }. \NAMECITE{Actor-Based}{% Albert:2016:MHP% }. \NAMECITE{Actual}{% Basaldella:2021:RAM% }. \NAMECITE{Acyclic}{% Eberhard:2017:ACF% }. \NAMECITE{Adding}{% Demri:2021:EAR,% Place:2020:AST% }. \NAMECITE{Addition}{% Clemente:2019:BRT% }. \NAMECITE{additive}{% Hughes:2005:PNU% }. \NAMECITE{adjoint}{% Dyckhoff:2013:APT% }. \NAMECITE{Adjoints}{% Gratzer:2022:MPA% }. \NAMECITE{Admissibility}{% Cabrer:2019:CAU,% Wolter:2008:UUA% }. \NAMECITE{Affine}{% Asperti:2002:ILA,% Lescanne:2018:QAL,% Trybus:2016:RRB,% Coppola:2006:OOR% }. \NAMECITE{Again}{% Ciabattoni:2021:DLP% }. \NAMECITE{against}{% Baier:2007:VNP% }. \NAMECITE{agent}{% Alberti:2008:VAI,% Dix:2000:PAP,% Liau:2005:MLF% }. \NAMECITE{Agents}{% Bulling:2019:RAS,% DeNicola:2004:MLM,% Dix:2006:HTP% }. \NAMECITE{aggregate}{% Cohen:2005:EAA% }. \NAMECITE{aggregates}{% Ferraris:2011:LPP% }. \NAMECITE{Algebra}{% Atserias:2019:PCM,% Bonchi:2014:ACD,% Dyckhoff:2013:APT,% Furusawa:2015:CDA,% Neven:2018:FSM,% Arai:2009:NFA,% Bergstra:2011:PA,% Bravetti:2002:DAW,% Desharnais:2006:KAD,% Kozen:2000:HLK,% Ying:2009:AQP% }. \NAMECITE{Algebra-coalgebra}{% Bonchi:2014:ACD% }. \NAMECITE{Algebraic}{% Carvalho:2023:CQC,% Bouhoula:2009:SCC,% Tucker:2002:ACA,% Vennekens:2006:SOA,% Vennekens:2007:ESO% }. \NAMECITE{Algebras}{% Adamek:2021:RTF,% Conradie:2019:PEU,% Rybina:2001:DPT,% Tucker:2004:AVC% }. \NAMECITE{Algorithm}{% Groote:2017:ACS,% Rabe:2018:MTR,% Bodirsky:2010:FAD,% Bonchi:2014:ACD,% Coppola:2006:OOR% }. \NAMECITE{Algorithmic}{% Alur:2012:AAA,% Ciabattoni:2015:TPO,% Eberhard:2017:ACF% }. \NAMECITE{Algorithmically}{% Case:2022:IAR% }. \NAMECITE{Algorithms}{% Krajicek:2021:SCD,% Liberatore:2023:MIR,% Blass:2003:ASM,% Blass:2006:OIS,% Blass:2007:OISa,% Blass:2007:OISb,% Blass:2008:ASM,% Blass:2011:PQB,% Gurevich:2000:SAS% }. \NAMECITE{Alphabets}{% Tan:2013:GRP,% Neven:2004:FSM% }. \NAMECITE{Alternating}{% Bellier:2023:GGQ,% Berthon:2021:ATA,% Cerrito:2015:OTM,% Goranko:2018:GTS,% Jurdzinski:2011:AAD,% Lasota:2008:ATA,% Kupferman:2001:WAA,% Lazic:2011:SAA% }. \NAMECITE{Alternating-Time}{% Cerrito:2015:OTM,% Goranko:2018:GTS% }. \NAMECITE{Alternation}{% Berkholz:2015:BQD,% Krebs:2017:ECA% }. \NAMECITE{Alternative}{% Wang:2015:DLO% }. \NAMECITE{Amalgamations}{% Aameri:2023:RTA% }. \NAMECITE{among}{% Cohen:2005:EAA% }. \NAMECITE{Analysis}{% Albert:2016:MHP,% Albert:2018:PCA,% Betz:2013:LLB,% Keiren:2012:SAB,% Newton:2019:TNA,% Takagi:2023:SAL,% Aehlig:2002:SAN,% Alur:2012:AAA,% Jones:2009:FCM,% Marion:2009:SIS% }. \NAMECITE{Analytic}{% Giordano:2009:ATC% }. \NAMECITE{Analyticity}{% Lahav:2019:PSC% }. \NAMECITE{Annotated}{% Molinaro:2014:SSS,% Shakarian:2011:APT,% Shakarian:2012:APT,% Shakarian:2013:UGA,% Udrea:2010:AR% }. \NAMECITE{Announcements}{% Balbiani:2022:AA% }. \NAMECITE{Answer}{% Asuncion:2014:PFO,% Bomanson:2020:AVS,% Delgrande:2013:MTA,% Gebser:2013:TCL,% Oetsch:2021:BUE,% Wang:2023:WAS,% Wen:2016:MPT,% Eiter:2007:SCC,% Heymans:2008:OAS,% Sakama:2005:IAS,% Sakama:2008:CAS,% Son:2006:DDK% }. \NAMECITE{Answer-Set}{% Bomanson:2020:AVS,% Wen:2016:MPT,% Oetsch:2021:BUE% }. \NAMECITE{Answering}{% Amarilli:2020:FOW,% Fontaine:2015:WIH,% Leone:2019:FQA,% Simari:2013:PAQ,% Calvanese:2008:CQC% }. \NAMECITE{answers}{% Lin:2007:RCA% }. \NAMECITE{Anti}{% Cerna:2020:IAU% }. \NAMECITE{Anti-unification}{% Cerna:2020:IAU% }. \NAMECITE{Application}{% Bogaerts:2021:SAF,% Comon-Lundh:2010:DSP% }. \NAMECITE{Applications}{% Biscaia:2015:DAS,% Chalopin:2019:SPN,% Ciabattoni:2018:HSR,% Dongol:2016:CUC,% Dyckhoff:2013:APT,% Ignjatovic:2004:SAL,% Verma:2005:NDT% }. \NAMECITE{Applying}{% Bomanson:2020:AVS% }. \NAMECITE{Approach}{% Berardi:2012:IRN,% Ciabattoni:2015:TPO,% Delgrande:2013:MTA,% Doherty:2022:UOW,% Heule:2015:SAC,% Li:2018:APA,% Lodha:2019:SAB,% Marchioni:2015:LGL,% Mastroeni:2017:APS,% Menghi:2020:MCM,% Dovier:2008:UAC,% Eiter:2004:LPA,% Laplante:2007:PAM,% Lavrac:2001:ETA,% Shen:2003:DAC% }. \NAMECITE{Approximate}{% Biscaia:2015:DAS,% Shakarian:2012:APT,% Ratschan:2004:CAS% }. \NAMECITE{approximating}{% Atserias:2014:DLB% }. \NAMECITE{Approximation}{% Bogaerts:2021:SAF% }. \NAMECITE{Arbitrary}{% Fijalkow:2017:MSO% }. \NAMECITE{Architecture}{% Gall:2018:OSC% }. \NAMECITE{Argumentation}{% Creignou:2014:CCL,% Fazzinga:2015:CPA,% Mahmood:2023:PCL% }. \NAMECITE{Arithmetic}{% Bergstra:2023:EER,% Cai:2023:LSS,% Cimatti:2018:ILS,% Kjos-Hanssen:2012:ACE,% Kupke:2022:CRG,% Schweikardt:2005:AFO,% VanDenDries:2009:AC,% Beckmann:2014:IWL,% Beyersdorff:2010:TKL,% Boigelot:2005:EDP,% Cook:2006:SRW,% Klaedtke:2008:BAS% }. \NAMECITE{arithmetical}{% Hitchcock:2007:ACD% }. \NAMECITE{array}{% Alur:2012:AAA% }. \NAMECITE{array-accessing}{% Alur:2012:AAA% }. \NAMECITE{Arrays}{% Ghilardi:2023:IRA,% Montenegro:2020:ELT% }. \NAMECITE{Aspect}{% Takagi:2023:SAL% }. \NAMECITE{Aspects}{% Lescanne:2018:QAL% }. \NAMECITE{Assertional}{% Leino:2015:APS% }. \NAMECITE{Assignments}{% Enqvist:2022:TLC% }. \NAMECITE{Assumptions}{% Kupke:2022:CRG% }. \NAMECITE{Asymptotic}{% Verbitsky:2019:TBA% }. \NAMECITE{Asynchronous}{% Balbiani:2022:AA,% Gastin:2013:FSA% }. \NAMECITE{{ATL}}{% Cerrito:2015:OTM% }. \NAMECITE{atoms}{% Dovier:2006:DRS% }. \NAMECITE{Attacker}{% Bana:2020:VMC% }. \NAMECITE{Autoepistemic}{% Creignou:2012:CRF,% DeBruijn:2011:ENL,% Kaminski:2002:RQA% }. \NAMECITE{Automata}{% Berthon:2021:ATA,% Blondin:2023:COC,% Bollig:2014:PWA,% Broadbent:2021:HOR,% Carayol:2014:RAI,% Carayol:2015:ERA,% Chatterjee:2017:NWA,% Chretien:2015:SPP,% Clemente:2019:BRT,% Facchini:2016:IPG,% Friedmann:2015:RBI,% Hague:2017:CPA,% Halamish:2015:MDL,% Herbreteau:2020:WLT,% Menghi:2020:MCM,% Quaas:2019:SDW,% Seiller:2018:IGN,% Tan:2013:GRP,% Bruyere:2008:DPM,% Bryans:2003:MCS,% Demri:2009:LFQ,% Jurdzinski:2011:AAD,% Klaedtke:2008:BAS,% Kupferman:2001:WAA,% Lasota:2008:ATA,% Lazic:2011:SAA,% Tan:2014:ETV,% Tripakis:2009:CTB% }. \NAMECITE{Automated}{% Ardeshir-Larijani:2018:AEC,% Chadha:2016:AVE,% Chlebowski:2017:AGE,% Guller:2018:ADG,% Schneider-Kamp:2009:ATP% }. \NAMECITE{Automatic}{% Abdennadher:2004:AGR,% Khoussainov:2005:ALO,% Li:2018:APA% }. \NAMECITE{Axiomatic}{% Doherty:2022:UOW,% Schmidt:2007:ATP% }. \NAMECITE{Axiomatisation}{% Aceto:2022:TBO% }. \NAMECITE{axiomatizability}{% Fernandez-Duque:2014:NFA% }. \NAMECITE{Axiomatizations}{% Bonsangue:2013:SCA% }. \NAMECITE{axiomatizing}{% Bravetti:2002:DAW% }. \NAMECITE{axioms}{% Baader:2012:LDL,% Impagliazzo:2006:CDF% }. \NAMECITE{Back}{% Ciabattoni:2021:DLP,% Gradel:2002:BFB% }. \NAMECITE{Backdoors}{% Fichte:2015:BND% }. \NAMECITE{Background}{% Benedikt:2021:IVI% }. \NAMECITE{bad}{% Bauland:2011:TMC% }. \NAMECITE{Barbs}{% Bonchi:2014:GTB% }. \NAMECITE{base}{% Aceto:2009:FEB,% DeBruijn:2011:ENL% }. \NAMECITE{Based}{% Albert:2016:MHP,% Bana:2020:VMC,% Betz:2013:LLB,% Bryant:2023:GER,% Creignou:2014:CCL,% Friedmann:2015:RBI,% Herzig:2013:PUO,% Lopes:2021:RAP,% Marchioni:2015:LGL,% Mastroeni:2017:APS,% Trybus:2016:RRB,% Wang:2015:DLO,% Abdennadher:2004:AGR,% Armando:2009:NRR,% Bustan:2003:SBM,% East:2006:PCB,% Giordano:2009:TCP,% Goranko:2009:TBD,% Laplante:2007:PAM,% Loyer:2004:HBS,% Mahmood:2023:PCL,% Menghi:2020:MCM,% Michel:2004:DBI,% More:2012:CCG,% Reiter:2001:KBP,% Shoham:2007:GBF,% Zhang:2006:LPB% }. \NAMECITE{Bases}{% Alferes:2013:QDP,% Gallo:2022:LBD,% Madalinska-Bugaj:2012:GQE,% Tao:2015:CFS,% Analyti:2011:MPF,% Eiter:2005:RAE,% Liberatore:2000:CCR% }. \NAMECITE{Basic}{% Konovalov:2021:GRB,% Mielniczuk:2004:BTF,% Bova:2008:PSH% }. \NAMECITE{{BDD}}{% Bryant:2023:GER% }. \NAMECITE{{BDD}-Based}{% Bryant:2023:GER% }. \NAMECITE{Be}{% Atserias:2016:NPM% }. \NAMECITE{behavior}{% Nielson:2011:MAC% }. \NAMECITE{Behavioral}{% Crafa:2015:LCB,% Blass:2011:PQB% }. \NAMECITE{Behaviors}{% Bouyer:2023:RAQ% }. \NAMECITE{behind}{% Luttgen:2002:IBS% }. \NAMECITE{Being}{% Anevlavis:2022:BCE% }. \NAMECITE{Belief}{% Aravanis:2023:GPC,% Binnewies:2018:SPB,% Chatterjee:2014:POS,% Creignou:2016:BMW,% Delgrande:2013:MTA,% Fan:2020:RMB,% Gallo:2022:LBD,% Liberatore:2016:BME,% Peppas:2012:MMB,% Liau:2005:MLF% }. \NAMECITE{Beliefs}{% Su:2017:PJL% }. \NAMECITE{{Bendix}}{% Korovin:2005:KBC% }. \NAMECITE{{Bernays}}{% Echenim:2020:BSR% }. \NAMECITE{{Beth}}{% Artale:2023:LBC% }. \NAMECITE{between}{% Buneman:2003:IBP,% Fiorentini:2020:DBU,% Gradel:2002:BFB,% Oetsch:2021:BUE% }. \NAMECITE{Beyond}{% Oetsch:2021:BUE% }. \NAMECITE{{BI}}{% Larchey-Wendling:2013:NPS% }. \NAMECITE{Big}{% Dagnino:2022:MTB% }. \NAMECITE{Big-step}{% Dagnino:2022:MTB% }. \NAMECITE{Bimodal}{% Hampson:2015:UPB% }. \NAMECITE{Binary}{% Aceto:2022:TBO,% Clemente:2019:BRT,% Newton:2019:TNA% }. \NAMECITE{Bisimulation}{% Feng:2014:SBQ,% Groote:2017:ACS,% Bravetti:2002:DAW,% Lanotte:2009:PBC,% Tiu:2010:PSS% }. \NAMECITE{blind}{% Seidl:2008:FOV% }. \NAMECITE{{Boolean}}{% Arieli:2007:PRP,% Bryant:2002:BST,% Creignou:2010:NBC,% Gutierrez:2021:ENE,% Harland:2003:RDB,% Keiren:2012:SAB,% Larchey-Wendling:2013:NPS% }. \NAMECITE{bound}{% Adler:2003:LBF% }. \NAMECITE{Bounded}{% Adler:2023:FPT,% Eickmeyer:2017:SOI,% Gajarsky:2020:FOI,% Grohe:2023:CDG,% Podder:2022:ZOL,% Beckmann:2014:IWL,% Ben-Sasson:2010:LBB,% Beyersdorff:2010:TKL,% Buss:2002:RBC,% Durand:2007:FOQ,% Gottlob:2010:MDF,% Sofronie-Stokkermans:2007:UBD% }. \NAMECITE{Bounds}{% Albert:2013:IRU,% Berkholz:2015:BQD,% Beyersdorff:2023:HCS,% Buss:2021:LBO,% Klaedtke:2008:BAS,% Verbitsky:2019:TBA,% Atserias:2014:DLB,% Ben-Sasson:2010:LBB,% Jones:2009:FCM,% Ketema:2013:LUB,% Schroder:2009:PBR% }. \NAMECITE{Branching}{% Clemente:2019:BRT,% Groote:2017:ACS,% Gurfinkel:2012:RVB,% Lazic:2015:NCB,% Kupferman:2005:LTB,% Zhang:2014:RCB% }. \NAMECITE{branching-time}{% Zhang:2014:RCB% }. \NAMECITE{Branchwidth}{% Lodha:2019:SAB% }. \NAMECITE{broadcast}{% Lomuscio:2000:KMS% }. \NAMECITE{{Brzozowski}}{% Bonchi:2014:ACD% }. \NAMECITE{{B{\"u}chi}}{% Boker:2012:TCB,% Tripakis:2009:CTB% }. \NAMECITE{Budget}{% Naumov:2017:IFU% }. \NAMECITE{{Buss}}{% Ben-Sasson:2010:LBB% }. \NAMECITE{{Cai}}{% Pakusa:2018:DCF% }. \NAMECITE{Calculi}{% Chen:2022:SCP,% Dongol:2016:CUC,% Gebser:2013:TCL,% Hou:2018:MLS,% Lahav:2019:PSC,% Lellmann:2019:MSC,% Bonatti:2002:SCP,% Giordano:2009:ATC,% Metcalfe:2005:SHC,% Voronkov:2001:HOP% }. \NAMECITE{Calculus}{% Audrito:2019:HOC,% Dima:2018:RPT,% Geneves:2015:EDC,% Ghilardi:2020:FPE,% Khaniki:2022:PCR,% Lopes:2021:RAP,% More:2012:CCG,% Novakovic:2015:PSC,% Skarlatidis:2015:PEC,% Aehlig:2005:EFS,% East:2006:PCB,% Galesi:2010:OSD,% Giordano:2009:TCP,% Jones:2009:FCM,% Ketema:2013:LUB,% McIver:2007:RQC,% Momigliano:2003:HOP,% Olivetti:2007:SCT,% Pedicini:2007:PPE,% Reiter:2001:KBP,% Salibra:2003:TIO,% Santo:2011:CMS,% Saurin:2010:TSC,% Tiu:2010:PSS,% VandenBussche:2007:PTI,% Zhang:2014:RCB% }. \NAMECITE{camera}{% Benhamou:2004:ICS% }. \NAMECITE{Can}{% Herbreteau:2020:WLT% }. \NAMECITE{canonical}{% Bonacina:2007:ACI,% Harper:2005:ECF% }. \NAMECITE{Canonisation}{% Grohe:2023:CDG% }. \NAMECITE{capture}{% Blass:2003:ASM,% Blass:2008:ASM,% Gurevich:2000:SAS% }. \NAMECITE{capturing}{% Libkin:2001:LCL% }. \NAMECITE{cardinality}{% Creignou:2010:NBC,% Szeider:2011:MSO% }. \NAMECITE{Case}{% Newton:2019:TNA,% Gurevich:2011:LIP% }. \NAMECITE{Cases}{% VanDerMeyden:2020:UCM% }. \NAMECITE{Categories}{% VanDenBerg:2018:PCP% }. \NAMECITE{Category}{% Adamek:2019:GET,% Hu:2022:CTV% }. \NAMECITE{causes}{% Chockler:2008:WCS,% Chockler:2010:EWC% }. \NAMECITE{{CCS}}{% Aceto:2009:FEB% }. \NAMECITE{Central}{% Bortolussi:2019:CLM% }. \NAMECITE{Certainty}{% Yorke-Smith:2009:CCR% }. \NAMECITE{Certified}{% Poza:2014:CRS,% Crary:2008:FCC% }. \NAMECITE{Chains}{% Biscaia:2015:DAS,% Aziz:2000:MCC,% Chen:2013:VLD% }. \NAMECITE{Change}{% Aameri:2019:RTC,% Ahmetaj:2017:MCG,% Binnewies:2018:SPB,% Delgrande:2013:MTA,% Peppas:2012:MMB% }. \NAMECITE{channel}{% Baier:2007:VNP% }. \NAMECITE{Characterisation}{% VanBakel:2018:CNP% }. \NAMECITE{Characterisations}{% Beyersdorff:2023:HCS% }. \NAMECITE{Characterization}{% Gaboardi:2012:ICP,% Krebs:2017:ECA,% Wang:2015:DLO,% Dezani-Ciancaglini:2003:CCC,% Kontinen:2009:LCC% }. \NAMECITE{Characterizations}{% Crafa:2015:LCB,% Eiter:2007:SCC,% Yorsh:2007:LCH% }. \NAMECITE{characterizing}{% Shen:2003:DAC% }. \NAMECITE{Checking}{% Ardeshir-Larijani:2018:AEC,% Baldan:2020:MCL,% Bortolussi:2019:CLM,% Bova:2016:MCE,% Bozzelli:2019:IVP,% Cabrer:2019:CAU,% Daca:2017:FSM,% Eickmeyer:2020:MCO,% Etessami:2012:MCR,% Feng:2020:MTO,% Friedmann:2015:RBI,% Gajarsky:2020:NPF,% Ganty:2021:CAC,% Matheja:2023:DPG,% Menghi:2020:MCM,% Mogavero:2014:RAS,% Tripakis:2009:CTB,% VanDerMeyden:2020:UCM,% Ying:2014:MCL,% Aziz:2000:MCC,% Bauland:2011:TMC,% Bouhoula:2009:SCC,% Bruyere:2008:DPM,% Bryans:2003:MCS,% Gottlob:2002:DLD,% Laplante:2007:PAM,% Legay:2010:ORM% }. \NAMECITE{Choiceless}{% Pakusa:2018:DCF% }. \NAMECITE{{CHR}}{% DiGiusto:2012:EPM,% Gabbrielli:2009:CSC% }. \NAMECITE{{Church}}{% Ketema:2013:LUB% }. \NAMECITE{Circle}{% Demri:2015:TVS% }. \NAMECITE{Circles}{% Sojakova:2016:ETP% }. \NAMECITE{Circuits}{% Dawar:2022:SCR,% Krajicek:2021:SCD% }. \NAMECITE{Circular}{% Atserias:2023:CYS% }. \NAMECITE{circumscription}{% Cadoli:2005:CPN% }. \NAMECITE{Class}{% Echenim:2020:BSR% }. \NAMECITE{Classes}{% Calautti:2017:DDC,% Gajarsky:2020:FOI,% Gajarsky:2020:NPF,% Godoy:2004:CTR,% Paulson:2006:DFE% }. \NAMECITE{classical}{% Adams:2010:WPC% }. \NAMECITE{Classification}{% Chen:2017:OHS,% Chlebowski:2017:AGE,% Henzinger:2005:CST% }. \NAMECITE{Classifications}{% Creignou:2014:CCL% }. \NAMECITE{Classifiers}{% Neider:2018:CSP% }. \NAMECITE{Clausal}{% Fisher:2001:CTR% }. \NAMECITE{clauses}{% Seidl:2008:FOV% }. \NAMECITE{Clique}{% Heule:2015:SAC% }. \NAMECITE{Clique-Width}{% Heule:2015:SAC% }. \NAMECITE{Closed}{% Case:2022:IAR,% Lescanne:2018:QAL% }. \NAMECITE{Closure}{% Cohen:2020:NWF,% Yorke-Smith:2009:CCR% }. \NAMECITE{{CNF}}{% DeHaan:2017:PCF% }. \NAMECITE{{Co}}{% Boker:2012:TCB% }. \NAMECITE{coalgebra}{% Bonchi:2014:ACD% }. \NAMECITE{Coalgebraic}{% Bonsangue:2013:SCA,% Kupke:2022:CRG,% Schroder:2018:CFC% }. \NAMECITE{Coalitional}{% Enqvist:2022:TLC% }. \NAMECITE{code}{% Crary:2008:FCC% }. \NAMECITE{Cognitive}{% Gall:2018:OSC,% Huang:2019:RAC% }. \NAMECITE{Coherence}{% Lumsdaine:2015:LUM% }. \NAMECITE{Coincide}{% Elberfeld:2016:WFO% }. \NAMECITE{collapse}{% Beyersdorff:2010:TKL% }. \NAMECITE{Collapsibility}{% Carvalho:2023:CQC% }. \NAMECITE{Collapsible}{% Broadbent:2021:CPP,% Broadbent:2021:HOR,% Hague:2017:CPA% }. \NAMECITE{combination}{% DeBruijn:2011:ENL,% Ghilardi:2008:CCF% }. \NAMECITE{combinations}{% Bruttomesso:2014:QFI% }. \NAMECITE{Combinatorics}{% Barcelo:2017:GLR% }. \NAMECITE{combinatory}{% Danvy:2013:TST% }. \NAMECITE{Common}{% Sietsma:2013:CKE% }. \NAMECITE{communication}{% Aceto:2009:FEB% }. \NAMECITE{Commutative}{% Horne:2019:MDN% }. \NAMECITE{commuting}{% Chevalier:2008:CRS% }. \NAMECITE{compact}{% Bernardo:2004:SSR,% Dovier:2008:UAC,% Liberatore:2000:CCR% }. \NAMECITE{Comparison}{% Bozzelli:2019:IVP% }. \NAMECITE{Comparisons}{% Wang:2005:CCW% }. \NAMECITE{Compilability}{% Liberatore:2000:CCR,% Liberatore:2007:CPA% }. \NAMECITE{Complement}{% Gelade:2012:SCI,% Momigliano:2003:HOP% }. \NAMECITE{Complete}{% Bana:2020:VMC,% Bonsangue:2013:SCA,% Ganty:2021:CAC,% Lazic:2016:ZHH,% Matheja:2023:DPG,% Schellhorn:2014:SCP,% Arthan:2009:GFS,% Crary:2007:SCE,% Dezani-Ciancaglini:2003:CCC,% Geerts:2008:FOC,% Korovin:2005:KBC,% Lutz:2004:NTC,% Bauer:2014:PCF% }. \NAMECITE{Completeness}{% Chen:2022:SCP,% Demri:2016:ECS,% Drabent:2016:CCL,% Hertling:2021:ECL,% Schroder:2018:CFC,% Bouhoula:2009:SCC,% Namjoshi:2010:CCR% }. \NAMECITE{Complexes}{% Chalopin:2019:SPN% }. \NAMECITE{Complexities}{% Krotzsch:2013:CHD,% Lazic:2015:NCB% }. \NAMECITE{Complexity}{% Arenas:2021:CCP,% Asperti:2015:CCF,% Atserias:2019:PCM,% Benaim:2016:CTV,% Beyersdorff:2013:PCD,% Bodirsky:2017:CPC,% Bulatov:2011:CCC,% Cadoli:2005:CPN,% Carlucci:2016:PCP,% Carvalho:2023:CQC,% Chen:2017:OHS,% Chevalier:2008:CRS,% Creignou:2012:CRF,% Creignou:2014:CCL,% Danicic:2012:CDD,% DeHaan:2017:PCF,% Dershowitz:2010:CPP,% Durand:2022:TFD,% Fazzinga:2015:CPA,% Fomin:2022:PCE,% Goller:2015:CDM,% Hannula:2018:CPL,% Khaniki:2022:PCR,% Liberatore:2006:CRD,% Liberatore:2023:MIR,% Luck:2017:PCS,% Madelaine:2012:CPF,% Mahmood:2023:PCL,% Nguyen:2012:CPD,% Verbitsky:2019:TBA,% Wrona:2019:CMI,% Baillot:2009:GES,% Bruscoli:2009:PCD,% Chen:2014:CEP,% Cohen:2000:NCP,% DalLago:2009:CSL,% Egly:2001:PCR,% Eiter:2004:LPA,% Eiter:2007:SCC,% Ferrari:2005:CDP,% Gelade:2012:DCF,% Hitchcock:2007:ACD,% Jones:2009:FCM,% Kjos-Hanssen:2012:ACE,% Lonc:2003:FPC,% VanDenDries:2009:AC,% Seidl:2008:FOV% }. \NAMECITE{Components}{% Ameloot:2017:DQD% }. \NAMECITE{Composing}{% Bednarczyk:2023:CFF% }. \NAMECITE{Composition}{% Aamer:2023:IOC,% Aameri:2019:RTC,% Aceto:2022:TBO% }. \NAMECITE{Compositional}{% Neider:2018:CSP,% Gabbrielli:2009:CSC,% Namjoshi:2010:CCR% }. \NAMECITE{compositionality}{% Rabinovich:2007:CL% }. \NAMECITE{Comprehending}{% Charlesworth:2006:CSC% }. \NAMECITE{comprehensive}{% Ghilardi:2008:CCF% }. \NAMECITE{compressed}{% Gascon:2011:UMC% }. \NAMECITE{Compression}{% Eberhard:2017:ACF% }. \NAMECITE{computability}{% Bauer:2014:PCF,% Japaridze:2006:PCLa,% Japaridze:2006:PCLb,% Tucker:2002:ACA% }. \NAMECITE{Computable}{% Barmpalias:2017:PCO,% Simonsen:2015:CRS,% Blass:2001:ICL,% Durand:2007:FOQ% }. \NAMECITE{Computation}{% Neven:2018:FSM,% Aehlig:2002:SAN,% Bianco:2012:GCT,% Givan:2002:PTC,% Tucker:2004:AVC,% Wang:2005:CCW% }. \NAMECITE{Computational}{% Angiulli:2003:CPM,% Asperti:2015:CCF,% Audrito:2019:HOC,% Koutsos:2021:DSS,% Artikis:2009:SNG,% Baillot:2009:GES,% DalLago:2009:CSL,% Sergot:2001:CTN% }. \NAMECITE{Computationally}{% Bana:2020:VMC,% Geerts:2008:FOC% }. \NAMECITE{computed}{% Lin:2007:RCA% }. \NAMECITE{Computing}{% Baudet:2013:YGT,% Chen:2013:CLM,% Groote:2017:ACS,% Heras:2013:CPH% }. \NAMECITE{Concept}{% Dongol:2016:CUC% }. \NAMECITE{Conceptual}{% Artale:2014:CTC,% Tao:2015:CFS% }. \NAMECITE{concerning}{% Cosmadakis:2010:UIR% }. \NAMECITE{concrete}{% Biernacka:2007:CFE,% Lutz:2004:NTC,% Tucker:2004:AVC% }. \NAMECITE{Concurrency}{% Albert:2016:MHP,% Baldan:2020:MCL,% Danicic:2012:CDD,% Dongol:2016:CUC% }. \NAMECITE{Concurrent}{% Ardeshir-Larijani:2018:AEC,% Chatzikokolakis:2012:ESG,% Enqvist:2022:TLC,% Furusawa:2015:CDA,% Schellhorn:2014:SCP,% Bistarelli:2006:SCC,% Chatterjee:2011:QCP,% DeBoer:2004:PCT,% Nielson:2011:MAC% }. \NAMECITE{condensing}{% Giacobazzi:2005:MAD% }. \NAMECITE{conditional}{% Friedman:2000:FOC,% Giordano:2009:TCP,% Lukasiewicz:2001:PLP,% Olivetti:2007:SCT% }. \NAMECITE{conditions}{% Genaim:2008:INS% }. \NAMECITE{Configuration}{% Aschinger:2014:LLC% }. \NAMECITE{configurations}{% Lomuscio:2000:KMS% }. \NAMECITE{Confluence}{% Felgenhauer:2015:LSP,% Bouhoula:2009:SCC,% Comon:2003:DCO,% Godoy:2004:CTR,% Ketema:2013:LUB% }. \NAMECITE{Confluent}{% Simonsen:2015:CRS% }. \NAMECITE{congruence}{% Lanotte:2009:PBC% }. \NAMECITE{Conjunction}{% Demri:2016:ECS% }. \NAMECITE{Conjunctive}{% Calvanese:2008:CQC,% Chen:2017:OHS,% Geck:2019:PCC% }. \NAMECITE{Connectedness}{% Kontchakov:2013:TLC% }. \NAMECITE{connectives}{% Ferraris:2011:LPP% }. \NAMECITE{Connectivity}{% Schirrmacher:2023:FOL% }. \NAMECITE{Conservative}{% Wrona:2019:CMI,% Bulatov:2011:CCC% }. \NAMECITE{consistency}{% Bordeaux:2009:GCO% }. \NAMECITE{Consistent}{% Fontaine:2015:WIH% }. \NAMECITE{Constant}{% Garlik:2018:SSC,% Impagliazzo:2006:CDF,% Durand:2007:FOQ% }. \NAMECITE{Constant-Depth}{% Garlik:2018:SSC,% Impagliazzo:2006:CDF% }. \NAMECITE{Constrained}{% Fuhs:2017:VPP% }. \NAMECITE{Constraint}{% Betz:2013:LLB,% Bodirsky:2013:CST,% Bodirsky:2017:CPC,% Dapic:2017:QCS,% Gall:2018:OSC,% Wittocx:2013:CPF,% Wrona:2019:CMI,% Abdennadher:2004:AGR,% Benhamou:2004:ICS,% Bistarelli:2006:SCC,% Bistarelli:2010:UMQ,% Bordeaux:2009:GCO,% Bulatov:2011:CCC,% Creignou:2010:NBC,% DeBoer:2004:PCT,% Dovier:2008:UAC,% Korovin:2005:KBC,% Mesnard:2003:PLT,% Yorke-Smith:2009:CCR% }. \NAMECITE{constraint-solving}{% Dovier:2008:UAC% }. \NAMECITE{Constraints}{% Bogaerts:2021:SAF,% Carvalho:2023:CQC,% Naumov:2017:IFU,% Bordeaux:2009:GCO,% Bryant:2002:BST,% Buneman:2003:IBP,% Calvanese:2008:CQC,% Choi:2007:RPR,% Harland:2003:RDB,% Libkin:2003:VIF,% Lukasiewicz:2001:PLP,% Ratschan:2004:CAS,% Ratschan:2006:ESQ,% Szeider:2011:MSO% }. \NAMECITE{Construction}{% Lumsdaine:2015:LUM% }. \NAMECITE{Constructive}{% Cerrito:2015:OTM% }. \NAMECITE{Containment}{% Avni:2015:PWC,% Benedikt:2020:MDT,% Geck:2019:PCC,% Calvanese:2008:CQC% }. \NAMECITE{Context}{% DalLago:2009:CSL% }. \NAMECITE{Contexts}{% Bonchi:2014:GTB% }. \NAMECITE{Contextual}{% Hu:2022:CTV,% Nanevski:2008:CMT% }. \NAMECITE{continuation}{% Guerrini:2009:PTC% }. \NAMECITE{continuity}{% Buss:2002:RBC% }. \NAMECITE{Continuous}{% Blondin:2017:LVC,% Blondin:2023:COC,% Schockaert:2012:FEL,% Aziz:2000:MCC,% Chen:2013:VLD,% Furia:2010:TSC% }. \NAMECITE{continuous-time}{% Aziz:2000:MCC,% Chen:2013:VLD,% Furia:2010:TSC% }. \NAMECITE{contract}{% Kahler:2010:DSP% }. \NAMECITE{contract-signing}{% Kahler:2010:DSP% }. \NAMECITE{Contractions}{% Sangiorgi:2017:ECU% }. \NAMECITE{control}{% Benhamou:2004:ICS,% Moyen:2009:RCG% }. \NAMECITE{Convergence}{% Lynch:2005:CLR% }. \NAMECITE{Convergent}{% Ratschan:2004:CAS% }. \NAMECITE{Converse}{% Geneves:2015:EDC% }. \NAMECITE{Convolution}{% Dongol:2016:CUC% }. \NAMECITE{Cookbook}{% Artale:2014:CTC% }. \NAMECITE{cooperation}{% More:2012:CCG% }. \NAMECITE{Coordination}{% Sakama:2008:CAS% }. \NAMECITE{copying}{% Seidl:2008:FOV% }. \NAMECITE{{Coq}}{% Heras:2013:CPH% }. \NAMECITE{{Coq/SSReflect}}{% Heras:2013:CPH% }. \NAMECITE{Correct}{% Anevlavis:2022:BCE% }. \NAMECITE{{Correction}}{% Blass:2008:ASM% }. \NAMECITE{Correctness}{% Drabent:2016:CCL,% Geck:2019:PCC,% Leino:2015:APS,% Charlesworth:2006:CSC,% DeBoer:2004:PCT,% Kozen:2003:SLP% }. \NAMECITE{Cost}{% Albert:2018:PCA% }. \NAMECITE{Costs}{% Sebastiani:2015:OMT% }. \NAMECITE{Counter}{% Feng:2020:MTO,% Blondin:2023:COC% }. \NAMECITE{counterexample}{% Chadha:2010:CGA% }. \NAMECITE{counterexample-guided}{% Chadha:2010:CGA% }. \NAMECITE{counterexamples}{% Shoham:2007:GBF% }. \NAMECITE{Counting}{% Arenas:2021:CCP,% Charatonik:2016:TVL,% Hampson:2015:UPB,% Kiefer:2022:GIL,% Impagliazzo:2006:CDF,% Kontinen:2009:LCC,% Libkin:2000:LCL,% Schweikardt:2005:AFO% }. \NAMECITE{Covering}{% Place:2020:AST% }. \NAMECITE{{Craig}}{% Artale:2023:LBC,% Cimatti:2010:EGC% }. \NAMECITE{criteria}{% Voronkov:2001:HOP% }. \NAMECITE{Criterion}{% Aravanis:2023:GPC% }. \NAMECITE{Cryptographic}{% Chadha:2016:AVE,% Comon-Lundh:2010:DSP,% Seidl:2008:FOV% }. \NAMECITE{{CSL}}{% Kaminski:2010:CSI% }. \NAMECITE{{CSP}}{% Baxter:2023:TUC,% Cavalcanti:2020:IOC,% DeHaan:2017:PCF% }. \NAMECITE{{CSPs}}{% Bodirsky:2022:PLV% }. \NAMECITE{{CTL}}{% Shoham:2007:GBF,% Zhang:2014:RCB% }. \NAMECITE{Cube}{% Chalopin:2019:SPN% }. \NAMECITE{Curve}{% Nguyen:2012:CPD% }. \NAMECITE{cycles}{% Comon-Lundh:2010:DSP% }. \NAMECITE{Cyclicity}{% Zanardini:2014:IFS% }. \NAMECITE{Data}{% Ahmetaj:2017:MCG,% Artale:2014:CTC,% Danicic:2012:CDD,% Durand:2022:TFD,% Quaas:2019:SDW,% Schellhorn:2014:SCP,% Bojanczyk:2011:TVL,% Jurdzinski:2011:AAD,% Lazic:2011:SAA,% Tan:2014:ETV,% Yorke-Smith:2009:CCR% }. \NAMECITE{Databases}{% Arenas:2021:CCP,% Alon:2003:TXV,% Geerts:2008:FOC% }. \NAMECITE{datalog}{% Bodirsky:2010:FAD,% Cosmadakis:2010:UIR,% Gottlob:2010:MDF,% Afrati:2005:DPT,% Ameloot:2017:DQD,% Benedikt:2020:MDT,% Gottlob:2002:DLD% }. \NAMECITE{Decidability}{% Biscaia:2015:DAS,% Dovier:2006:DRS,% Figueira:2012:DDX,% Koutsos:2021:DSS,% Michaliszyn:2015:DEM,% Verma:2005:NDT,% Bailey:2010:LQV% }. \NAMECITE{Decidable}{% Calautti:2017:DDC,% Padmanabha:2023:DFF,% Eiter:2010:FDN% }. \NAMECITE{decide}{% Schmidt:2014:UTD% }. \NAMECITE{Deciding}{% Bravetti:2002:DAW,% Comon-Lundh:2010:DSP,% Comon:2003:DCO,% Geneves:2015:EDC,% Kahler:2010:DSP% }. \NAMECITE{Decision}{% Barrett:2022:SPS,% Ferrari:2015:EDD,% Lahav:2019:PSC,% Matheja:2023:DPG,% Newton:2019:TNA,% Boigelot:2005:EDP,% Chadha:2010:CGA,% Goranko:2009:TBD,% Rybina:2001:DPT% }. \NAMECITE{Declarative}{% Schockaert:2012:FEL,% Gaintzarain:2013:LFM% }. \NAMECITE{Decomposed}{% Ponomaryov:2017:PDL% }. \NAMECITE{Decomposing}{% Goller:2015:CDM% }. \NAMECITE{decomposition}{% Burger:2011:SIS,% Michel:2004:DBI% }. \NAMECITE{decomposition-based}{% Michel:2004:DBI% }. \NAMECITE{Deconstructions}{% Chen:2017:OHS% }. \NAMECITE{decorated}{% Bloom:2004:PFD% }. \NAMECITE{Deduction}{% Guller:2018:ADG,% Martini:2021:SLN% }. \NAMECITE{Deductive}{% Makino:2012:DII,% Gottlob:2002:DLD% }. \NAMECITE{deep}{% Bruscoli:2009:PCD% }. \NAMECITE{default}{% Friedman:2000:FOC,% Liberatore:2007:WFS% }. \NAMECITE{Defeasible}{% Britz:2021:PKS,% Antoniou:2001:RRD,% Billington:2010:ITD% }. \NAMECITE{Definability}{% Grohe:2023:CDG,% Pakusa:2018:DCF,% Benedikt:2007:LDQ% }. \NAMECITE{definable}{% Benedikt:2009:RTL,% Engelfriet:2001:MDS,% Libkin:2003:VIF% }. \NAMECITE{Defining}{% Paulson:2006:DFE% }. \NAMECITE{Definitions}{% Artale:2023:LBC,% Matheja:2023:DPG,% Wittocx:2013:CPF,% Avigad:2003:EDS,% Denecker:2001:LPR,% Denecker:2008:LNI% }. \NAMECITE{Degree}{% Adler:2023:FPT,% Atserias:2014:DLB,% Durand:2007:FOQ,% Galesi:2010:OSD,% Lynch:2005:CLR% }. \NAMECITE{delay}{% Durand:2007:FOQ% }. \NAMECITE{Dense}{% Gajarsky:2020:NPF% }. \NAMECITE{Dependence}{% Danicic:2012:CDD,% Durand:2012:HDL,% Herzig:2013:PUO% }. \NAMECITE{Dependencies}{% Beyersdorff:2020:DQD% }. \NAMECITE{Dependent}{% Hu:2022:CTV,% Lumsdaine:2015:LUM,% Son:2006:DDK% }. \NAMECITE{Depth}{% Berkholz:2015:BQD,% Eickmeyer:2017:SOI,% Garlik:2018:SSC,% Podder:2022:ZOL,% Ben-Sasson:2010:LBB,% Impagliazzo:2006:CDF% }. \NAMECITE{Depth-Bounded}{% Eickmeyer:2017:SOI% }. \NAMECITE{Description}{% Ahmetaj:2017:MCG,% Artale:2014:CTC,% Artale:2023:LBC,% Baader:2020:MTD,% Britz:2021:PKS,% Donini:2002:DLM,% Krotzsch:2013:CHD,% Baader:2012:LDL,% Calvanese:2008:CQC,% Eiter:2011:WFS,% Lutz:2004:NTC,% Schmidt:2014:UTD,% Wolter:2008:UUA% }. \NAMECITE{descriptions}{% Bernardo:2004:SSR% }. \NAMECITE{Descriptive}{% Verbitsky:2019:TBA% }. \NAMECITE{Detecting}{% Calautti:2017:DDC% }. \NAMECITE{detection}{% Angiulli:2007:ODL% }. \NAMECITE{Determinacy}{% Benedikt:2023:MDR% }. \NAMECITE{Deterministic}{% Alur:2004:DGG,% Halamish:2015:MDL,% Mamouras:2016:HLD,% Seiller:2018:IGN% }. \NAMECITE{Diagonal}{% Carlucci:2016:PCP% }. \NAMECITE{Diagrams}{% Newton:2019:TNA,% Ketema:2013:LUB% }. \NAMECITE{Dichotomies}{% Hernich:2020:DOM% }. \NAMECITE{Dichotomy}{% Fontaine:2015:WIH% }. \NAMECITE{Differential}{% Kawamura:2009:DR,% Platzer:2015:DGL,% Platzer:2017:DHG% }. \NAMECITE{Differentiation}{% Toran:2023:NVG% }. \NAMECITE{{Diffie}}{% Chevalier:2008:CRS% }. \NAMECITE{Diffusion}{% Shakarian:2013:UGA% }. \NAMECITE{Digraphs}{% Dapic:2017:QCS% }. \NAMECITE{Dimension}{% Case:2022:IAR,% Hitchcock:2007:ACD% }. \NAMECITE{directed}{% Stone:2005:DMG% }. \NAMECITE{Discrete}{% Almagor:2022:MID,% Nguyen:2012:CPD% }. \NAMECITE{Discrete-Time}{% Almagor:2022:MID% }. \NAMECITE{Disjunction}{% Betz:2013:LLB,% Stone:2005:DMG,% Ferrari:2005:CDP% }. \NAMECITE{disjunctions}{% Janhunen:2006:UPD% }. \NAMECITE{Disjunctive}{% Fichte:2015:BND,% Eiter:2010:FDN,% Wang:2005:CCW% }. \NAMECITE{Display}{% Chen:2022:SCP,% Ciabattoni:2016:PLS,% Ciabattoni:2021:DLP% }. \NAMECITE{Displayed}{% Greco:2023:LLP% }. \NAMECITE{Distance}{% Fomin:2022:PCE% }. \NAMECITE{Distributed}{% Feng:2022:VDQ,% Gastin:2013:FSA% }. \NAMECITE{Distributing}{% Ameloot:2017:DQD% }. \NAMECITE{distribution}{% Harland:2003:RDB% }. \NAMECITE{Distributions}{% Crafa:2015:LCB% }. \NAMECITE{distributive}{% Sofronie-Stokkermans:2007:UBD% }. \NAMECITE{distributivity}{% Samer:2010:DLS% }. \NAMECITE{{DL}}{% Wang:2015:DLO% }. \NAMECITE{{DL-Lite}}{% Wang:2015:DLO% }. \NAMECITE{{DLV}}{% Leone:2006:DSK% }. \NAMECITE{Do}{% Herbreteau:2020:WLT% }. \NAMECITE{Does}{% Praveen:2013:DTH% }. \NAMECITE{Domain}{% Son:2006:DDK,% Desharnais:2006:KAD% }. \NAMECITE{Domain-dependent}{% Son:2006:DDK% }. \NAMECITE{Domains}{% Schockaert:2012:FEL,% Abdennadher:2004:AGR,% Giacobazzi:2005:MAD,% Horbach:2010:SFD,% Lutz:2004:NTC% }. \NAMECITE{Dominance}{% Komosinski:2014:IEA% }. \NAMECITE{Downward}{% Figueira:2012:DDX% }. \NAMECITE{{DPLL}}{% Beyersdorff:2013:PCD,% Liberatore:2006:CRD% }. \NAMECITE{Driven}{% Alferes:2013:QDP,% Ferrari:2015:EDD% }. \NAMECITE{Dual}{% Horne:2019:MDN,% Krajicek:2021:SCD% }. \NAMECITE{Dualities}{% Cabrer:2019:CAU% }. \NAMECITE{Duality}{% Fiorentini:2020:DBU,% Bonchi:2014:ACD% }. \NAMECITE{duration}{% Chen:2013:VLD% }. \NAMECITE{Durations}{% Bruyere:2008:DPM% }. \NAMECITE{Dynamic}{% Beyersdorff:2020:DQD,% Furusawa:2015:CDA,% Lopes:2021:RAP,% Schwartz:2015:DRS,% Takagi:2023:SAL,% Bossi:2004:TSM,% Fernandez-Duque:2014:NFA,% Gelade:2012:DCF,% Genaim:2008:INS,% Khan:2011:LIS,% Shen:2003:DAC% }. \NAMECITE{Dynamical}{% Almagor:2022:MID,% Biscaia:2015:DAS% }. \NAMECITE{Dynamics}{% Gallo:2022:LBD% }. \NAMECITE{Eager}{% Bergstra:2023:EER% }. \NAMECITE{Editorial}{% Abadi:2002:E,% Apt:2001:E,% Apt:2005:E,% Baillot:2009:GES% }. \NAMECITE{Effect}{% Ponomaryov:2017:PDL% }. \NAMECITE{Effectful}{% Goncharov:2020:TUT% }. \NAMECITE{Effective}{% Benedikt:2016:EIP,% Case:2022:IAR,% Krebs:2017:ECA,% Boigelot:2005:EDP,% Kjos-Hanssen:2012:ACE% }. \NAMECITE{Effects}{% Demri:2021:EAR,% Wadler:2003:MEM% }. \NAMECITE{Efficient}{% Anevlavis:2022:BCE,% Cimatti:2010:EGC,% Komosinski:2014:IEA,% Ratschan:2006:ESQ,% Bryant:2001:PVU% }. \NAMECITE{Efficiently}{% Geneves:2015:EDC% }. \NAMECITE{{Eilenberg}}{% Adamek:2019:GET% }. \NAMECITE{Elementary}{% Michaliszyn:2015:DEM,% Aehlig:2005:EFS,% Coppola:2006:OOR% }. \NAMECITE{Eliminating}{% Avigad:2003:EDS% }. \NAMECITE{Elimination}{% Fomin:2022:PCE,% Ghilardi:2020:FPE,% Crary:2007:SCE% }. \NAMECITE{Eliminations}{% Vukmirovic:2023:SIE% }. \NAMECITE{Email}{% Sietsma:2013:CKE% }. \NAMECITE{Embedding}{% DeBruijn:2011:ENL% }. \NAMECITE{Embeddings}{% Ciabattoni:2018:HSR% }. \NAMECITE{emptiness}{% Tripakis:2009:CTB% }. \NAMECITE{encryption}{% Chevalier:2008:CRS% }. \NAMECITE{Enough}{% Anevlavis:2022:BCE% }. \NAMECITE{enriched}{% Adams:2010:WPC% }. \NAMECITE{Entailment}{% Matheja:2023:DPG% }. \NAMECITE{entailments}{% Arieli:2007:PRP% }. \NAMECITE{Enumeration}{% Kazana:2013:EMS% }. \NAMECITE{environment}{% Biernacka:2007:CFE,% Pedicini:2007:PPE% }. \NAMECITE{Epistemic}{% Chatzikokolakis:2012:ESG,% Conradie:2019:PEU,% Huang:2018:ESL,% VanDerMeyden:2020:UCM% }. \NAMECITE{Equality}{% Bergstra:2023:EER,% Madelaine:2012:CPF,% Pitts:2020:THE,% Bruttomesso:2014:QFI% }. \NAMECITE{Equation}{% Keiren:2012:SAB% }. \NAMECITE{equational}{% Aceto:2009:FEB% }. \NAMECITE{Equations}{% Sangiorgi:2017:ECU% }. \NAMECITE{Equilibrium}{% Gutierrez:2021:ENE,% Schockaert:2012:FEL% }. \NAMECITE{Equivalence}{% Ardeshir-Larijani:2018:AEC,% Barthe:2022:UEM,% Bomanson:2020:AVS,% Bonsangue:2013:SCA,% Chadha:2016:AVE,% Chalopin:2019:SPN,% Groote:2017:ACS,% Oetsch:2021:BUE,% Sojakova:2016:ETP,% Goldblatt:2012:WSP,% Harper:2005:ECF,% Murawski:2005:AUP,% Paulson:2006:DFE,% Stone:2006:EES% }. \NAMECITE{Equivalences}{% Cohen:2005:EAA,% Eiter:2007:SCC% }. \NAMECITE{equivalent}{% Lifschitz:2001:SEL% }. \NAMECITE{Erotetic}{% Chlebowski:2017:AGE% }. \NAMECITE{Erratum}{% Carayol:2015:ERA,% Chockler:2010:EWC,% Vennekens:2007:ESO% }. \NAMECITE{erroneous}{% Yorke-Smith:2009:CCR% }. \NAMECITE{Eternity}{% Hesselink:2005:EVP% }. \NAMECITE{{Euclidean}}{% Kontchakov:2013:TLC% }. \NAMECITE{Evaluation}{% Ferrari:2015:EDD,% Madalinska-Bugaj:2012:GQE,% Riguzzi:2014:TEL% }. \NAMECITE{Evaluation-Driven}{% Ferrari:2015:EDD% }. \NAMECITE{Event}{% Skarlatidis:2015:PEC% }. \NAMECITE{evolving}{% Eiter:2005:RAE% }. \NAMECITE{Examples}{% Liberatore:2016:BME% }. \NAMECITE{Exchanges}{% Sietsma:2013:CKE% }. \NAMECITE{execution}{% DeGiacomo:2001:IEG% }. \NAMECITE{Existential}{% Bova:2016:MCE,% Leone:2019:FQA,% Podder:2022:ZOL,% Chen:2014:CEP% }. \NAMECITE{Expansion}{% Beyersdorff:2020:DQD,% Gajarsky:2020:FOI% }. \NAMECITE{exponentials}{% Burger:2011:SIS% }. \NAMECITE{exponentiation}{% Chevalier:2008:CRS% }. \NAMECITE{Expressions}{% Gelade:2012:SCI% }. \NAMECITE{Expressive}{% Demri:2016:ECS,% DiGiusto:2012:EPM,% Gaintzarain:2013:LFM% }. \NAMECITE{Expressiveness}{% Bozzelli:2019:IVP,% Feng:2020:MTO,% Gutierrez:2021:ENE,% Zhang:2017:ELP,% Bailey:2010:LQV% }. \NAMECITE{{EXPSPACE}}{% Hertling:2021:ECL% }. \NAMECITE{{EXPSPACE}-Completeness}{% Hertling:2021:ECL% }. \NAMECITE{{EXPTIME}}{% Arai:2009:NFA% }. \NAMECITE{Extended}{% Beckmann:2017:NSP,% Bryant:2023:GER,% Lavrac:2001:ETA% }. \NAMECITE{Extending}{% Crolard:2009:ELL,% Montenegro:2020:ELT,% Tan:2014:ETV% }. \NAMECITE{extensible}{% Bono:2002:TIE% }. \NAMECITE{Extension}{% Takagi:2023:SAL,% Blass:2008:ASM% }. \NAMECITE{Extensional}{% Charalambidis:2013:EHO,% Stone:2006:EES% }. \NAMECITE{Extensions}{% Lazic:2015:NCB,% Giordano:2009:TCP,% Khan:2011:LIS% }. \NAMECITE{exteriors}{% Makino:2012:DII% }. \NAMECITE{External}{% Chen:2013:CLM% }. \NAMECITE{Extraction}{% Berardi:2012:IRN,% Chlebowski:2017:AGE% }. \NAMECITE{fail}{% Liberatore:2007:WFS% }. \NAMECITE{fail-safe}{% Liberatore:2007:WFS% }. \NAMECITE{Fails}{% Chatterjee:2014:POS% }. \NAMECITE{failure}{% Donini:2002:DLM,% Rondogiannis:2005:MMS% }. \NAMECITE{Fair}{% Gastin:2013:FSA% }. \NAMECITE{Fall}{% Dima:2018:RPT% }. \NAMECITE{Fast}{% Leone:2019:FQA,% Murawski:2006:FVM,% Bodirsky:2010:FAD% }. \NAMECITE{Faster}{% Adler:2023:FPT,% Daca:2017:FSM% }. \NAMECITE{{FDNC}}{% Eiter:2010:FDN% }. \NAMECITE{feasibility}{% Ignjatovic:2004:SAL% }. \NAMECITE{feature}{% Mielniczuk:2004:BTF% }. \NAMECITE{Field}{% Zanardini:2014:IFS% }. \NAMECITE{Field-Sensitive}{% Zanardini:2014:IFS% }. \NAMECITE{Fields}{% Audrito:2019:HOC,% Barthe:2022:UEM% }. \NAMECITE{{FIFO}}{% Ghafari:2012:RPP% }. \NAMECITE{Finding}{% DeHaan:2017:PCF% }. \NAMECITE{Finitary}{% Chatterjee:2009:FWR,% Murawski:2005:AUP% }. \NAMECITE{Finite}{% Aceto:2022:TBO,% Adamek:2021:RTF,% Amarilli:2020:FOW,% Asperti:2015:CCF,% Barthe:2022:UEM,% Bednarczyk:2023:CFF,% Benaim:2016:CTV,% Berkholz:2015:BQD,% Eberhard:2017:ACF,% Geneves:2015:EDC,% Kieronski:2018:FST,% Neven:2004:FSM,% Neven:2018:FSM,% Riguzzi:2014:TEL,% Abdennadher:2004:AGR,% Aceto:2009:FEB,% Engelfriet:2001:MDS,% Fernandez-Duque:2014:NFA,% Gottlob:2010:MDF% }. \NAMECITE{Finite-State}{% Neven:2018:FSM,% Engelfriet:2001:MDS% }. \NAMECITE{Finite-Variable}{% Berkholz:2015:BQD% }. \NAMECITE{Finitely}{% Calautti:2017:DDC% }. \NAMECITE{First}{% Asuncion:2014:PFO,% Dowek:2012:PNL,% Durand:2007:FOQ,% Elberfeld:2016:WFO,% Fomin:2022:PCE,% Friedman:2000:FOC,% Gajarsky:2020:FOI,% Geerts:2008:FOC,% Goller:2015:CDM,% Hampson:2015:UPB,% Kartzow:2013:FOL,% Kopczynski:2015:VHF,% Madelaine:2012:CPF,% Padmanabha:2023:DFF,% Podder:2022:ZOL,% Schirrmacher:2023:FOL,% Tomovic:2020:FOL,% Wittocx:2013:CPF,% Avigad:2003:EDS,% Bauer:2014:PCF,% Grohe:2000:LOI,% Grohe:2002:FOT,% Libkin:2003:VIF,% Ratschan:2004:CAS,% Schweikardt:2005:AFO% }. \NAMECITE{First-Order}{% Asuncion:2014:PFO,% Elberfeld:2016:WFO,% Fomin:2022:PCE,% Gajarsky:2020:FOI,% Goller:2015:CDM,% Hampson:2015:UPB,% Kartzow:2013:FOL,% Kopczynski:2015:VHF,% Madelaine:2012:CPF,% Podder:2022:ZOL,% Wittocx:2013:CPF,% Dowek:2012:PNL,% Durand:2007:FOQ,% Friedman:2000:FOC,% Geerts:2008:FOC,% Schirrmacher:2023:FOL,% Tomovic:2020:FOL,% Avigad:2003:EDS,% Bauer:2014:PCF,% Grohe:2000:LOI,% Grohe:2002:FOT,% Libkin:2003:VIF,% Ratschan:2004:CAS,% Schweikardt:2005:AFO% }. \NAMECITE{Fixed}{% Baelde:2012:LGF,% Ghilardi:2020:FPE,% Lonc:2003:FPC,% Dawar:2004:IFP,% Horbach:2010:SFD% }. \NAMECITE{Fixed-parameter}{% Lonc:2003:FPC% }. \NAMECITE{Fixed-point}{% Ghilardi:2020:FPE% }. \NAMECITE{Fixpoint}{% Bogaerts:2021:SAF,% Cranen:2015:AFL,% Schroder:2018:CFC,% Shakarian:2012:APT,% Vennekens:2006:SOA,% Vennekens:2007:ESO% }. \NAMECITE{Flat}{% Schroder:2018:CFC,% Seidl:2008:FOV% }. \NAMECITE{Flow}{% Naumov:2017:IFU,% Jones:2009:FCM% }. \NAMECITE{Flows}{% Aamer:2023:IOC% }. \NAMECITE{{Floyd}}{% Arthan:2009:GFS% }. \NAMECITE{{Floyd-Hoare}}{% Arthan:2009:GFS% }. \NAMECITE{{FO}}{% Benedikt:2009:RTL,% Gajarsky:2020:NPF% }. \NAMECITE{Focalization}{% Simmons:2014:SF% }. \NAMECITE{Focusing}{% Burel:2020:LFR% }. \NAMECITE{Forests}{% Bednarczyk:2023:CFF% }. \NAMECITE{Formal}{% Guidi:2022:FSU,% Kramer:2015:LII,% Gelade:2012:DCF,% Guidi:2009:FS% }. \NAMECITE{Formalizing}{% Son:2014:FNU% }. \NAMECITE{formally}{% Avigad:2007:FVP% }. \NAMECITE{formats}{% Bloom:2004:PFD% }. \NAMECITE{Forms}{% Radcliffe:2017:UNF,% Harper:2005:ECF% }. \NAMECITE{Formula}{% Herzig:2013:PUO,% Adler:2003:LBF% }. \NAMECITE{Formula/Literal}{% Herzig:2013:PUO% }. \NAMECITE{Formulae}{% Menghi:2020:MCM,% Arieli:2007:PRP% }. \NAMECITE{Formulas}{% Borralleras:2019:IST,% DeHaan:2017:PCF,% Dudenhefner:2021:KSI,% Toran:2023:NVG,% Atserias:2014:DLB,% Grohe:2000:LOI,% Lifschitz:2006:WTM,% Subramani:2004:OLT% }. \NAMECITE{Formulation}{% Carvalho:2023:CQC% }. \NAMECITE{forth}{% Gradel:2002:BFB% }. \NAMECITE{Forward}{% Fiorentini:2020:DBU% }. \NAMECITE{Foundational}{% Crary:2008:FCC% }. \NAMECITE{foundations}{% Gaintzarain:2013:LFM% }. \NAMECITE{Founded}{% Bogaerts:2016:WFS,% Cohen:2020:NWF,% Eiter:2011:WFS,% Wang:2005:CCW% }. \NAMECITE{Fragment}{% Haret:2017:MHF,% Hernich:2020:DOM,% Kieronski:2018:FST,% Padmanabha:2023:DFF,% Aehlig:2005:EFS,% Bauer:2014:PCF% }. \NAMECITE{Fragments}{% Bresolin:2017:HFH,% Creignou:2012:CRF,% Creignou:2016:BMW,% Alur:2004:DGG,% Bauland:2011:TMC% }. \NAMECITE{Frames}{% Shapirovsky:2022:SPS% }. \NAMECITE{Framework}{% Mahmood:2023:PCL,% Tao:2015:CFS,% Alberti:2008:VAI,% Analyti:2011:MPF,% Arthan:2009:GFS,% Biernacka:2007:CFE,% Chadha:2010:CGA,% Crary:2008:FCC,% Ghilardi:2008:CCF,% Lahav:2013:USF,% Liau:2005:MLF,% McDowell:2002:RHO,% Rabe:2013:LRL,% Shen:2008:RRL,% Shoham:2007:GBF% }. \NAMECITE{Frameworks}{% Fazzinga:2015:CPA,% Basin:2004:RMF% }. \NAMECITE{Free}{% Chretien:2020:TMF,% Demri:2021:EAR,% Bruttomesso:2014:QFI,% Hughes:2005:PNU% }. \NAMECITE{Freedom}{% Klinkhamer:2019:VLF% }. \NAMECITE{freeze}{% Demri:2009:LFQ% }. \NAMECITE{{Frege}}{% Beckmann:2017:NSP,% Ben-Sasson:2010:LBB,% Garlik:2018:SSC,% Impagliazzo:2006:CDF% }. \NAMECITE{Frontier}{% Durand:2022:TFD% }. \NAMECITE{full}{% Schmidt:2014:UTD% }. \NAMECITE{fully}{% Lahav:2013:USF% }. \NAMECITE{Function}{% Calautti:2017:DDC,% Arai:2009:NFA,% Eiter:2010:FDN% }. \NAMECITE{functionals}{% Buss:2002:RBC% }. \NAMECITE{Functions}{% Cimatti:2018:ILS,% Neider:2018:CSP,% Arai:2009:NFA,% Avigad:2003:EDS,% Bryant:2001:PVU,% Paulson:2006:DFE% }. \NAMECITE{F{\"u}rer}{% Pakusa:2018:DCF% }. \NAMECITE{fusion}{% Liau:2005:MLF% }. \NAMECITE{Fuzziness}{% Bouyer:2023:RAQ% }. \NAMECITE{Fuzzy}{% Frigeri:2014:FTL,% Schockaert:2012:FEL% }. \NAMECITE{{G3i}}{% Ferrari:2015:EDD% }. \NAMECITE{Game}{% Bellier:2023:GGQ,% Carayol:2020:HGS,% Facchini:2016:IPG,% Goranko:2018:GTS,% Platzer:2015:DGL,% Danos:2002:PGS,% More:2012:CCG,% Shoham:2007:GBF% }. \NAMECITE{game-based}{% More:2012:CCG,% Shoham:2007:GBF% }. \NAMECITE{Game-Theoretic}{% Goranko:2018:GTS% }. \NAMECITE{Games}{% Beckmann:2014:PGP,% Benerecetti:2015:RAS,% Broadbent:2021:CPP,% Chatterjee:2014:POS,% Chatzikokolakis:2012:ESG,% Enqvist:2022:TLC,% Gutierrez:2021:ENE,% LeRoux:2018:MG,% Marchioni:2015:LGL,% Platzer:2017:DHG,% Alur:2004:DGG,% Ben-Sasson:2010:LBB,% Chatterjee:2009:FWR,% Chatterjee:2011:QCP% }. \NAMECITE{General}{% Bonchi:2014:GTB,% Zhang:2017:ELP,% Arthan:2009:GFS,% Shen:2003:DAC% }. \NAMECITE{Generalized}{% Adamek:2019:GET,% Konovalov:2021:GRB,% Konovalov:2023:GRI,% Madalinska-Bugaj:2012:GQE,% Shakarian:2013:UGA% }. \NAMECITE{Generalizing}{% Aravanis:2023:GPC,% Bordeaux:2009:GCO% }. \NAMECITE{Generating}{% Bryant:2023:GER% }. \NAMECITE{Generation}{% Chlebowski:2017:AGE,% Abdennadher:2004:AGR,% Cimatti:2010:EGC% }. \NAMECITE{generators}{% Alur:2004:DGG% }. \NAMECITE{Generic}{% Baudet:2013:YGT,% Miller:2005:PTG% }. \NAMECITE{Geometry}{% Hamano:2018:GIM,% DalLago:2009:GLH% }. \NAMECITE{{Glabbeek}}{% Hamano:2018:GIM% }. \NAMECITE{Global}{% Kupke:2022:CRG% }. \NAMECITE{Goal}{% Enqvist:2022:TLC,% Stone:2005:DMG% }. \NAMECITE{goal-directed}{% Stone:2005:DMG% }. \NAMECITE{{G{\"o}del}}{% Guller:2018:ADG% }. \NAMECITE{Good}{% Bellier:2023:GGQ,% Carayol:2020:HGS,% Bauland:2011:TMC% }. \NAMECITE{Good-for-Game}{% Bellier:2023:GGQ% }. \NAMECITE{governed}{% Artikis:2009:SNG% }. \NAMECITE{{GPU}}{% Kojima:2017:HLG% }. \NAMECITE{Graded}{% Bianco:2012:GCT% }. \NAMECITE{Grammars}{% Eberhard:2017:ACF% }. \NAMECITE{Graph}{% Ahmetaj:2017:MCG,% Barcelo:2017:GLR,% Chen:2017:OHS,% Gajarsky:2020:NPF,% Tan:2013:GRP,% Toran:2023:NVG,% Danvy:2013:TST% }. \NAMECITE{Graph-Structured}{% Ahmetaj:2017:MCG% }. \NAMECITE{Graphs}{% Grohe:2023:CDG,% Kiefer:2022:GIL,% Seiller:2018:IGN,% Lynch:2005:CLR,% Moyen:2009:RCG,% Szeider:2011:MSO,% Tripakis:2009:CTB% }. \NAMECITE{Greatest}{% Baelde:2012:LGF% }. \NAMECITE{Ground}{% Calautti:2017:DDC,% Goller:2014:RPR,% Bouhoula:2009:SCC,% Verma:2005:NDT% }. \NAMECITE{Guarded}{% Benedikt:2016:EIP,% Hernich:2020:DOM,% Kieronski:2018:FST,% Matheja:2023:DPG,% DeGiacomo:2001:IEG,% Gradel:2002:BFB,% Heymans:2008:OAS% }. \NAMECITE{Guards}{% Kieronski:2018:FST% }. \NAMECITE{Guest}{% Baillot:2009:GES% }. \NAMECITE{guided}{% Chadha:2010:CGA% }. \NAMECITE{{H{\'a}jek}}{% Bova:2008:PSH% }. \NAMECITE{{Halpern}}{% Bresolin:2017:HFH% }. \NAMECITE{Handling}{% Betz:2013:LLB,% Gall:2018:OSC% }. \NAMECITE{Happen}{% Albert:2016:MHP% }. \NAMECITE{Hard}{% Fontaine:2015:WIH,% Herbreteau:2020:WLT,% Schubert:2016:HHP% }. \NAMECITE{Hardness}{% Beyersdorff:2023:HCS% }. \NAMECITE{{Harrington}}{% Carlucci:2016:PCP% }. \NAMECITE{Having}{% Simonsen:2015:CRS% }. \NAMECITE{Heads}{% DiGiusto:2012:EPM% }. \NAMECITE{heap}{% Yorsh:2007:LCH% }. \NAMECITE{{Hellman}}{% Chevalier:2008:CRS% }. \NAMECITE{Help}{% Praveen:2013:DTH% }. \NAMECITE{{Herbrand}}{% McKinley:2013:PNH% }. \NAMECITE{{Hercules}}{% Lazic:2016:ZHH% }. \NAMECITE{Heterogeneous}{% Dix:2006:HTP,% Pitts:2020:THE% }. \NAMECITE{Hierarchies}{% Durand:2012:HDL,% Hannula:2018:HIL% }. \NAMECITE{Hierarchy}{% Berkholz:2015:BQD,% Chen:2017:OHS,% Goller:2014:RPR,% Kopczynski:2015:VHF,% Kraus:2015:HHH,% Krebs:2017:ECA,% Kontinen:2009:LCC% }. \NAMECITE{Higher}{% Audrito:2019:HOC,% Broadbent:2021:HOR,% Charalambidis:2013:EHO,% Jouannaud:2015:NHO,% Kartzow:2013:FOL,% Kraus:2015:HHH,% Levy:2012:NUH,% Momigliano:2003:HOP,% Pientka:2009:HOT,% Crolard:2009:ELL,% DalLago:2009:GLH,% Ignjatovic:2004:SAL,% McDowell:2002:RHO% }. \NAMECITE{Higher-Order}{% Audrito:2019:HOC,% Charalambidis:2013:EHO,% Jouannaud:2015:NHO,% Kartzow:2013:FOL,% Levy:2012:NUH,% Broadbent:2021:HOR,% Momigliano:2003:HOP,% Pientka:2009:HOT,% Crolard:2009:ELL,% DalLago:2009:GLH,% McDowell:2002:RHO% }. \NAMECITE{highly}{% Goldblatt:2012:WSP% }. \NAMECITE{{Hoare}}{% Arthan:2009:GFS,% Cohen:2000:NCP,% Kojima:2017:HLG,% Kozen:2000:HLK,% Mamouras:2016:HLD% }. \NAMECITE{{Hodges}}{% Bellier:2023:GGQ% }. \NAMECITE{Homological}{% Poza:2014:CRS% }. \NAMECITE{homology}{% Heras:2013:CPH% }. \NAMECITE{Homotopies}{% Kraus:2015:HHH% }. \NAMECITE{Homotopy}{% Sojakova:2016:ETP% }. \NAMECITE{{Horn}}{% Bresolin:2017:HFH,% Haret:2017:MHF,% Krotzsch:2013:CHD,% Liberatore:2000:CCR,% Madalinska-Bugaj:2012:GQE,% Makino:2012:DII% }. \NAMECITE{{Hughes}}{% Hamano:2018:GIM% }. \NAMECITE{Hybrid}{% Alferes:2013:QDP,% Platzer:2017:DHG% }. \NAMECITE{{Hydra}}{% Lazic:2016:ZHH% }. \NAMECITE{hypersequent}{% Metcalfe:2005:SHC% }. \NAMECITE{Hypersequents}{% Ciabattoni:2018:HSR% }. \NAMECITE{Hypotheses}{% Komosinski:2014:IEA% }. \NAMECITE{Hypothesis}{% Loyer:2004:HBS% }. \NAMECITE{Hypothesis-based}{% Loyer:2004:HBS% }. \NAMECITE{Idempotent}{% Cerna:2020:IAU% }. \NAMECITE{Identified}{% Kiefer:2022:GIL% }. \NAMECITE{Identifying}{% Komosinski:2014:IEA% }. \NAMECITE{Identity}{% VanDenBerg:2018:PCP,% vandenBerg:2012:TSM,% Schmidt:2014:UTD% }. \NAMECITE{{II}}{% Blass:2007:OISa,% Japaridze:2006:PCLb% }. \NAMECITE{{III}}{% Blass:2007:OISb% }. \NAMECITE{Image}{% Poza:2014:CRS% }. \NAMECITE{{IMLL}}{% Murawski:2006:FVM% }. \NAMECITE{{Immerman}}{% Pakusa:2018:DCF% }. \NAMECITE{Imperfect}{% Berthon:2021:SLI% }. \NAMECITE{Implementation}{% Shakarian:2012:APT,% Michel:2004:DBI% }. \NAMECITE{Implicit}{% Gaboardi:2012:ICP,% Baillot:2009:GES% }. \NAMECITE{implies}{% Charlesworth:2006:CSC% }. \NAMECITE{Improved}{% Beckmann:2014:IWL% }. \NAMECITE{improvement}{% Beckmann:2014:IWL% }. \NAMECITE{Inadequacy}{% Blass:2001:ICL% }. \NAMECITE{Inclusion}{% Friedmann:2015:RBI,% Ganty:2021:CAC,% Hannula:2018:HIL,% Hella:2020:SMI,% Billington:2010:ITD% }. \NAMECITE{Inclusions}{% Artale:2023:LBC% }. \NAMECITE{Incomplete}{% Arenas:2021:CCP,% Borralleras:2019:IST,% Yorke-Smith:2009:CCR% }. \NAMECITE{incompleteness}{% Salibra:2003:TIO% }. \NAMECITE{increasing}{% Aehlig:2002:SAN% }. \NAMECITE{Incremental}{% Cimatti:2018:ILS,% DeGiacomo:2001:IEG% }. \NAMECITE{independence}{% Libkin:2003:VIF% }. \NAMECITE{Index}{% Facchini:2016:IPG% }. \NAMECITE{indexed}{% Lahiri:2007:PAI% }. \NAMECITE{indexing}{% Pientka:2009:HOT% }. \NAMECITE{Indistinguishability}{% Bana:2020:VMC,% Koutsos:2021:DSS% }. \NAMECITE{Induction}{% Fuhs:2017:VPP,% Sakama:2005:IAS% }. \NAMECITE{Inductions}{% Bogaerts:2016:WFS% }. \NAMECITE{Inductive}{% Matheja:2023:DPG,% Wittocx:2013:CPF,% Denecker:2001:LPR,% Denecker:2008:LNI,% Lavrac:2001:ETA% }. \NAMECITE{inequality}{% Ratschan:2006:ESQ% }. \NAMECITE{inexpressibility}{% Bodirsky:2010:FAD% }. \NAMECITE{Inference}{% Albert:2013:IRU,% Benedikt:2021:IVI,% Koutsos:2021:DSS,% Wrona:2019:CMI,% Zanardini:2014:IFS,% Bonacina:2007:ACI,% Bruscoli:2009:PCD,% Coppola:2006:OOR,% Givan:2002:PTC,% Makino:2012:DII,% VandenBussche:2007:PTI% }. \NAMECITE{Inferring}{% Genaim:2008:INS% }. \NAMECITE{Infinite}{% Carayol:2014:RAI,% Carayol:2015:ERA,% Tan:2013:GRP,% Bodirsky:2013:CST,% Neven:2004:FSM% }. \NAMECITE{Inflationary}{% Dawar:2004:IFP% }. \NAMECITE{infons}{% Gurevich:2011:LIP% }. \NAMECITE{Information}{% Aamer:2023:IOC,% Benedikt:2021:IVI,% Berthon:2021:SLI,% Fan:2020:RMB,% Khan:2023:LTI,% Naumov:2017:IFU,% Khan:2011:LIS% }. \NAMECITE{initial}{% Lomuscio:2000:KMS% }. \NAMECITE{Inner}{% Demri:2015:TVS% }. \NAMECITE{Inputs}{% Aamer:2023:IOC,% Baxter:2023:TUC,% Cavalcanti:2020:IOC% }. \NAMECITE{Inspired}{% Vukmirovic:2023:SIE% }. \NAMECITE{Instances}{% DeHaan:2017:PCF% }. \NAMECITE{Instantiation}{% Echenim:2013:ISN% }. \NAMECITE{Integer}{% Cai:2023:LSS% }. \NAMECITE{Integers}{% Borralleras:2019:IST,% Boigelot:2005:EDP% }. \NAMECITE{Integrity}{% Bogaerts:2021:SAF% }. \NAMECITE{intelligence}{% Charlesworth:2006:CSC% }. \NAMECITE{intelligence-related}{% Charlesworth:2006:CSC% }. \NAMECITE{Interaction}{% Buneman:2003:IBP,% Hamano:2018:GIM,% Seiller:2018:IGN,% Alberti:2008:VAI,% Burger:2011:SIS,% Guglielmi:2007:SIS% }. \NAMECITE{Interactions}{% Marchioni:2015:LGL% }. \NAMECITE{Interactive}{% Berardi:2012:IRN,% Kramer:2015:LII,% Blass:2006:OIS,% Blass:2007:OISa,% Blass:2007:OISb% }. \NAMECITE{interiors}{% Makino:2012:DII% }. \NAMECITE{Interpolants}{% Artale:2023:LBC,% Cimatti:2010:EGC% }. \NAMECITE{interpolating}{% Bruttomesso:2014:QFI% }. \NAMECITE{Interpolation}{% Benedikt:2016:EIP,% Ghilardi:2023:IRA,% Bruttomesso:2014:QFI% }. \NAMECITE{Interpretation}{% Mastroeni:2017:APS% }. \NAMECITE{Interpretation-Based}{% Mastroeni:2017:APS% }. \NAMECITE{Interpretations}{% Gajarsky:2020:FOI,% Bono:2002:TIE,% Marion:2009:SIS% }. \NAMECITE{Intersection}{% Case:2022:IAR,% Dudenhefner:2021:KSI,% Gelade:2012:SCI,% VanBakel:2018:CNP,% Dezani-Ciancaglini:2003:CCC,% Dezani-Ciancaglini:2010:IIT% }. \NAMECITE{intersection-type}{% Dezani-Ciancaglini:2003:CCC% }. \NAMECITE{Interval}{% Baader:2020:MTD,% Benhamou:2004:ICS,% Bozzelli:2019:IVP,% Bozzelli:2023:ITL,% Bresolin:2017:HFH,% Dongol:2016:CUC,% Hung:2007:PIX% }. \NAMECITE{Interval-Rigid}{% Baader:2020:MTD% }. \NAMECITE{intractability}{% Cosmadakis:2010:UIR% }. \NAMECITE{Intruder}{% Baudet:2013:YGT% }. \NAMECITE{intuitionism}{% Luttgen:2002:IBS% }. \NAMECITE{Intuitionistic}{% Asperti:2002:ILA,% Balbiani:2020:ILT,% Ferrari:2012:SRI,% Fiorentini:2020:DBU,% Ghilardi:2020:FPE,% Konovalov:2023:GRI,% Kramer:2015:LII,% Dyckhoff:2013:APT,% Ferrari:2005:CDP% }. \NAMECITE{Invariant}{% Eickmeyer:2017:SOI,% Grohe:2000:LOI% }. \NAMECITE{Invariants}{% Almagor:2022:MID,% Blass:2001:ICL% }. \NAMECITE{{Isabelle}}{% Paulson:2000:MUI% }. \NAMECITE{Isomorphism}{% Toran:2023:NVG,% Verbitsky:2019:TBA% }. \NAMECITE{isomorphisms}{% Dezani-Ciancaglini:2010:IIT% }. \NAMECITE{issue}{% Baillot:2009:GES,% Gradel:2003:LSI,% Kaminski:2010:CSI,% Kolaitis:2005:LSI% }. \NAMECITE{Iterated}{% Gutierrez:2021:ENE,% Liberatore:2023:MIR% }. \NAMECITE{iteration}{% Hofmann:2010:PPP% }. \NAMECITE{{IV}}{% Burger:2011:SIS% }. \NAMECITE{Jordan}{% Nguyen:2012:CPD% }. \NAMECITE{judgments}{% Miller:2005:PTG% }. \NAMECITE{Justification}{% Su:2017:PJL% }. \NAMECITE{Justified}{% Su:2017:PJL% }. \NAMECITE{{K4}}{% Hertling:2021:ECL% }. \NAMECITE{{Karp}}{% Beyersdorff:2010:TKL% }. \NAMECITE{Kernels}{% Kojima:2017:HLG% }. \NAMECITE{key}{% Chevalier:2008:CRS,% Comon-Lundh:2010:DSP% }. \NAMECITE{kinds}{% Crary:2007:SCE% }. \NAMECITE{{Kleene}}{% Desharnais:2006:KAD,% Kozen:2000:HLK% }. \NAMECITE{{KLM}}{% Britz:2021:PKS,% Giordano:2009:ATC% }. \NAMECITE{{KLM}-style}{% Britz:2021:PKS% }. \NAMECITE{Knowledge}{% Alferes:2013:QDP,% Baudet:2013:YGT,% Benedikt:2021:IVI,% Chlebowski:2017:AGE,% Deuser:2021:SKA,% Gallo:2022:LBD,% Kramer:2015:LII,% Lomuscio:2000:KMS,% Madalinska-Bugaj:2012:GQE,% Sietsma:2013:CKE,% Tao:2015:CFS,% Tomovic:2020:FOL,% DeBruijn:2011:ENL,% Donini:2002:DLM,% Eiter:2004:LPA,% Eiter:2005:RAE,% Leone:2006:DSK,% Liberatore:2000:CCR,% Reiter:2001:KBP,% Son:2006:DDK% }. \NAMECITE{knowledge-base}{% DeBruijn:2011:ENL% }. \NAMECITE{knowledge-based}{% Reiter:2001:KBP% }. \NAMECITE{knowledge-state}{% Eiter:2004:LPA% }. \NAMECITE{{Knuth}}{% Korovin:2005:KBC% }. \NAMECITE{{Kripke}}{% Dudenhefner:2021:KSI,% Shapirovsky:2022:SPS% }. \NAMECITE{Labeled}{% Ciabattoni:2021:DLP% }. \NAMECITE{Labelled}{% Hou:2018:MLS% }. \NAMECITE{Labels}{% Bonchi:2014:GTB% }. \NAMECITE{lambda}{% Aehlig:2005:EFS,% Pedicini:2007:PPE,% Salibra:2003:TIO,% Lescanne:2018:QAL% }. \NAMECITE{lambda-calculus}{% Pedicini:2007:PPE% }. \NAMECITE{Language}{% Bonsangue:2013:SCA,% Ganty:2021:CAC,% Crolard:2009:ELL,% Gottlob:2002:DLD% }. \NAMECITE{Languages}{% Adamek:2019:GET,% Benedikt:2016:LUO,% Eberhard:2017:ACF,% Wrona:2019:CMI,% Benedikt:2007:LDQ,% Benedikt:2009:RTL,% Chatterjee:2010:QL,% Gaintzarain:2013:LFM,% Geerts:2008:FOC,% Gelade:2012:DCF,% Murawski:2005:AUP% }. \NAMECITE{Lattice}{% Halamish:2015:MDL,% Bodirsky:2013:CST% }. \NAMECITE{lattices}{% Sofronie-Stokkermans:2007:UBD% }. \NAMECITE{law}{% Lynch:2005:CLR% }. \NAMECITE{Laws}{% Podder:2022:ZOL% }. \NAMECITE{Lax}{% Hannula:2018:HIL,% Hella:2020:SMI,% Rabe:2015:LTM% }. \NAMECITE{Layer}{% Felgenhauer:2015:LSP% }. \NAMECITE{Layers}{% Nalon:2019:MRP% }. \NAMECITE{Learning}{% Neider:2018:CSP% }. \NAMECITE{Least}{% Baelde:2012:LGF,% Ketema:2013:LUB% }. \NAMECITE{left}{% Aceto:2009:FEB,% Mesnard:2003:PLT% }. \NAMECITE{Length}{% Ghilardi:2023:IRA,% Subramani:2004:OLT% }. \NAMECITE{{LF}}{% Harper:2005:ECF,% Urban:2011:MML% }. \NAMECITE{{LICS}}{% Gradel:2003:LSI,% Kolaitis:2005:LSI% }. \NAMECITE{{Light}}{% Asperti:2002:ILA% }. \NAMECITE{like}{% Subramani:2004:OLT% }. \NAMECITE{Limit}{% Bortolussi:2019:CLM% }. \NAMECITE{limitation}{% Charlesworth:2006:CSC% }. \NAMECITE{limitations}{% Rabinovich:2007:CL% }. \NAMECITE{Limited}{% Benedikt:2020:MDT% }. \NAMECITE{Limiting}{% Benedikt:2016:LUO% }. \NAMECITE{Limits}{% Ciabattoni:2016:PLS% }. \NAMECITE{Linear}{% Anevlavis:2022:BCE,% Baelde:2012:LGF,% Balbiani:2020:ILT,% Betz:2013:LLB,% Bodirsky:2022:PLV,% Borralleras:2019:IST,% Frigeri:2014:FTL,% Greco:2023:LLP,% Hampson:2015:UPB,% Lescanne:2018:QAL,% Martini:2021:SLN,% Sebastiani:2015:OMT,% Takagi:2023:SAL,% Ying:2014:MCL,% Baier:2007:VNP,% Boigelot:2005:EDP,% Chen:2013:VLD,% DalLago:2009:CSL,% DalLago:2009:GLH,% Gottlob:2002:DLD,% Hughes:2005:PNU,% Khoussainov:2005:ALO,% Kupferman:2005:LTB% }. \NAMECITE{Linear-Logic}{% Betz:2013:LLB% }. \NAMECITE{Linear-Time}{% Ying:2014:MCL,% Baier:2007:VNP% }. \NAMECITE{Linearizability}{% Schellhorn:2014:SCP% }. \NAMECITE{Linearization}{% Cimatti:2018:ILS% }. \NAMECITE{Linking}{% Burel:2020:LFR% }. \NAMECITE{{Lipton}}{% Beyersdorff:2010:TKL% }. \NAMECITE{Liquid}{% Montenegro:2020:ELT% }. \NAMECITE{lists}{% Dovier:2008:UAC% }. \NAMECITE{{LITE}}{% Gottlob:2002:DLD,% Wang:2015:DLO% }. \NAMECITE{Literal}{% Herzig:2013:PUO% }. \NAMECITE{Livelock}{% Klinkhamer:2019:VLF% }. \NAMECITE{Livelock-Freedom}{% Klinkhamer:2019:VLF% }. \NAMECITE{Liveness}{% Eisner:2014:SLW,% Herbreteau:2020:WLT% }. \NAMECITE{Living}{% Artale:2023:LBC% }. \NAMECITE{Local}{% Cai:2023:LSS,% Gallo:2022:LBD,% Lumsdaine:2015:LUM,% Ponomaryov:2017:PDL,% Beckmann:2014:IWL,% Givan:2002:PTC,% Libkin:2000:LCL,% Libkin:2001:LCL,% Szeider:2011:MSO% }. \NAMECITE{Local-Effect}{% Ponomaryov:2017:PDL% }. \NAMECITE{Locality}{% Grohe:2000:LOI% }. \NAMECITE{Locally}{% Bogaerts:2016:WFS% }. \NAMECITE{{LoCo}}{% Aschinger:2014:LLC% }. \NAMECITE{Logic}{% Aamer:2023:IOC,% Anevlavis:2022:BCE,% Aschinger:2014:LLC,% Atserias:2023:CYS,% Baelde:2012:LGF,% Baldan:2020:MCL,% Benaim:2016:CTV,% Berthon:2021:SLI,% Betz:2013:LLB,% Binnewies:2018:SPB,% Bova:2016:MCE,% Bozzelli:2019:IVP,% Bozzelli:2023:ITL,% Bresolin:2017:HFH,% Calautti:2017:DDC,% Cerrito:2015:OTM,% Charalambidis:2013:EHO,% Charatonik:2016:TVL,% Cohen:2020:NWF,% Cranen:2015:AFL,% Creignou:2012:CRF,% Creignou:2014:CCL,% Creignou:2016:BMW,% Dawar:2022:SCR,% Demri:2015:TVS,% Demri:2016:ECS,% Demri:2021:EAR,% Denecker:2001:LPR,% Dongol:2016:CUC,% Drabent:2016:CCL,% Durand:2012:HDL,% Echenim:2020:BSR,% Elberfeld:2016:WFO,% Enqvist:2022:TLC,% Fan:2020:RMB,% Ferraris:2011:LPP,% Fichte:2015:BND,% Fijalkow:2017:MSO,% Fiorentini:2020:DBU,% Fomin:2022:PCE,% Frigeri:2014:FTL,% Gebser:2013:TCL,% Goranko:2018:GTS,% Greco:2023:LLP,% Guller:2018:ADG,% Gurevich:2011:LIP,% Gurfinkel:2012:RVB,% Hannula:2018:HIL,% Hella:2020:SMI,% Hertling:2021:ECL,% Horne:2019:MDN,% Huang:2018:ESL,% Kartzow:2013:FOL,% Khan:2018:SML,% Kojima:2017:HLG,% Konovalov:2021:GRB,% Konovalov:2023:GRI,% Kramer:2015:LII,% Krebs:2017:ECA,% Kuznetsov:2021:ALU,% Lazic:2016:ZHH,% Lopes:2021:RAP,% Luck:2017:PCS,% Madelaine:2012:CPF,% Mahmood:2023:PCL,% Mamouras:2016:HLD,% Marchioni:2015:LGL,% Matheja:2023:DPG,% Menghi:2020:MCM,% Molinaro:2014:SSS,% Padmanabha:2023:DFF,% Platzer:2015:DGL,% Riguzzi:2014:TEL,% Schirrmacher:2023:FOL,% Schockaert:2012:FEL,% Shakarian:2012:APT,% Simari:2013:PAQ,% Son:2014:FNU,% Su:2017:PJL,% Takagi:2023:SAL,% Tomovic:2020:FOL,% Trybus:2016:RRB,% VanDerMeyden:2020:UCM,% Wang:2023:WAS,% Wittocx:2013:CPF,% Zhang:2006:LPB,% Zhang:2017:ELP,% Adams:2010:WPC,% Aiello:2001:VSP,% Alberti:2008:VAI,% Alur:2001:PTL,% Angiulli:2007:ODL,% Antoniou:2001:RRD,% Avigad:2003:EDS,% Baader:2012:LDL,% Bauer:2014:PCF,% Bianco:2012:GCT% }. \NAMECITE{logic}{% Bistarelli:2010:UMQ,% Bojanczyk:2011:TVL,% Bossi:2004:TSM,% Bova:2008:PSH,% Brass:2004:SLP,% Bryant:2001:PVU,% Calvanese:2008:CQC,% Cohen:2000:NCP,% Coppola:2006:OOR,% DalLago:2009:CSL,% Dawar:2004:IFP,% DeBruijn:2011:ENL,% DeNicola:2004:MLM,% Denecker:2008:LNI,% Dowek:2012:PNL,% Dyckhoff:2013:APT,% Eiter:2004:LPA,% Eiter:2010:FDN,% Eiter:2011:WFS,% Fernandez-Duque:2014:NFA,% Friedman:2000:FOC,% Furia:2010:TSC,% Gaintzarain:2013:LFM,% Genaim:2008:INS,% Hughes:2005:PNU,% Ignjatovic:2004:SAL,% Japaridze:2006:PCLa,% Japaridze:2006:PCLb,% Kaminski:2002:RQA,% Kozen:2000:HLK,% Kozen:2003:SLP,% Lavrac:2001:ETA,% Liau:2005:MLF,% Lifschitz:2001:SEL,% Lonc:2003:FPC,% Loyer:2004:HBS,% Lukasiewicz:2001:PLP,% Mesnard:2003:PLT,% Rondogiannis:2005:MMS,% Sakama:2005:IAS,% Schmidt:2007:ATP,% Schneider-Kamp:2009:ATP,% Schweikardt:2005:AFO,% Shakarian:2011:APT,% Shen:2003:DAC,% Szeider:2011:MSO,% Tan:2014:ETV,% Verbaeten:2001:TPL,% Wang:2005:CCW,% Zhang:2014:RCB,% Asperti:2002:ILA,% Denecker:2001:LPR% }. \NAMECITE{Logic-Based}{% Creignou:2014:CCL,% Marchioni:2015:LGL,% Mahmood:2023:PCL,% Menghi:2020:MCM% }. \NAMECITE{logic-enriched}{% Adams:2010:WPC% }. \NAMECITE{Logical}{% Bailey:2010:LQV,% Benedikt:2007:LDQ,% Biscaia:2015:DAS,% Blondin:2017:LVC,% Broadbent:2021:HOR,% Crafa:2015:LCB,% Gaintzarain:2013:LFM,% Rabe:2013:LRL,% Yorsh:2007:LCH,% Kontinen:2009:LCC,% McDowell:2002:RHO% }. \NAMECITE{Logics}{% Ahmetaj:2017:MCG,% Artale:2014:CTC,% Artale:2023:LBC,% Baader:2020:MTD,% Balbiani:2020:ILT,% Barcelo:2017:GLR,% Bednarczyk:2023:CFF,% Benedikt:2016:EIP,% Berkholz:2015:BQD,% Bollig:2014:PWA,% Britz:2021:PKS,% Ciabattoni:2015:TPO,% Ciabattoni:2021:DLP,% Eickmeyer:2017:SOI,% Gradel:2022:LMS,% Hampson:2015:UPB,% Hannula:2018:CPL,% Hertling:2021:ECL,% Hou:2018:MLS,% Khan:2011:LIS,% Khan:2023:LTI,% Kiefer:2022:GIL,% Kontchakov:2013:TLC,% Krotzsch:2013:CHD,% Kupke:2022:CRG,% Kutz:2003:LMS,% Libkin:2000:LCL,% Libkin:2001:LCL,% Martini:2021:SLN,% Michaliszyn:2015:DEM,% Schroder:2018:CFC,% Arthan:2009:GFS,% Billington:2010:ITD,% Bonatti:2002:SCP,% Donini:2002:DLM,% East:2006:PCB,% Ferrari:2005:CDP,% Giordano:2009:ATC,% Giordano:2009:TCP,% Goranko:2009:TBD,% Gradel:2002:BFB,% Liberatore:2007:WFS,% Loyer:2004:HBS,% Lutz:2004:NTC,% Metcalfe:2005:SHC,% Olivetti:2007:SCT,% Schmidt:2014:UTD,% Schroder:2009:PBR,% Tiu:2010:PSS,% Vennekens:2006:SOA,% Vennekens:2007:ESO,% Voronkov:2001:HOP,% Wolter:2008:UUA% }. \NAMECITE{Long}{% Atserias:2016:NPM% }. \NAMECITE{loop}{% Blass:2001:ICL,% Crolard:2009:ELL,% Lifschitz:2006:WTM% }. \NAMECITE{Loops}{% Chen:2013:CLM,% Shen:2008:RRL% }. \NAMECITE{Lower}{% Albert:2013:IRU,% Ben-Sasson:2010:LBB,% Beyersdorff:2023:HCS,% Buss:2021:LBO,% Adler:2003:LBF,% Atserias:2014:DLB% }. \NAMECITE{{LTL}}{% Baader:2012:LDL,% Bauland:2011:TMC,% Demri:2009:LFQ,% Samer:2010:DLS,% Alur:2004:DGG% }. \NAMECITE{{Lukasiewicz}}{% Marchioni:2015:LGL,% Metcalfe:2005:SHC% }. \NAMECITE{Machines}{% Feng:2020:MTO,% Goncharov:2020:TUT,% Biernacka:2007:CFE,% Blass:2003:ASM,% Blass:2008:ASM,% Gurevich:2000:SAS,% Neven:2004:FSM% }. \NAMECITE{Made}{% Boker:2012:TCB% }. \NAMECITE{maintenance}{% Fan:2020:RMB% }. \NAMECITE{Majority}{% Barthe:2022:UEM% }. \NAMECITE{Making}{% Giacobazzi:2005:MAD% }. \NAMECITE{{MALL}}{% Hamano:2018:GIM% }. \NAMECITE{Managing}{% Ahmetaj:2017:MCG% }. \NAMECITE{many}{% Lifschitz:2006:WTM% }. \NAMECITE{Map}{% Neven:2018:FSM% }. \NAMECITE{Map-Reduce}{% Neven:2018:FSM% }. \NAMECITE{Maps}{% Peppas:2012:MMB% }. \NAMECITE{{Markov}}{% Aziz:2000:MCC,% Biscaia:2015:DAS,% Chadha:2010:CGA,% Chen:2013:VLD% }. \NAMECITE{marriage}{% Wadler:2003:MEM% }. \NAMECITE{matching}{% Gascon:2011:UMC% }. \NAMECITE{mathematics}{% Adams:2010:WPC% }. \NAMECITE{{MaxDiff}}{% Ghilardi:2023:IRA% }. \NAMECITE{Maximally}{% Atserias:2016:NPM% }. \NAMECITE{{MaxSAT}}{% Filmus:2023:MRS% }. \NAMECITE{May}{% Albert:2016:MHP,% Atserias:2016:NPM% }. \NAMECITE{May-Happen-in-Parallel}{% Albert:2016:MHP% }. \NAMECITE{Meaning}{% Basaldella:2021:RAM% }. \NAMECITE{measuring}{% Alur:2001:PTL% }. \NAMECITE{Mechanizing}{% Paulson:2000:MUI,% Urban:2011:MML% }. \NAMECITE{Mediated}{% Hernich:2020:DOM% }. \NAMECITE{Meets}{% Atserias:2019:PCM% }. \NAMECITE{{MELL}}{% Lazic:2015:NCB% }. \NAMECITE{Memory}{% Doherty:2022:UOW% }. \NAMECITE{merge}{% Aceto:2009:FEB% }. \NAMECITE{{Mergesort}}{% Leino:2015:APS% }. \NAMECITE{Merging}{% Creignou:2016:BMW,% Haret:2017:MHF,% Liberatore:2016:BME% }. \NAMECITE{Messages}{% Chretien:2020:TMF% }. \NAMECITE{Meta}{% Dagnino:2022:MTB% }. \NAMECITE{Meta-theory}{% Dagnino:2022:MTB% }. \NAMECITE{metalogical}{% Basin:2004:RMF,% Crary:2008:FCC% }. \NAMECITE{metaquerying}{% Angiulli:2003:CPM% }. \NAMECITE{metatheory}{% Urban:2011:MML% }. \NAMECITE{Method}{% Cerrito:2015:OTM,% Madalinska-Bugaj:2012:GQE,% Marion:2009:SIS% }. \NAMECITE{Methods}{% Bana:2020:VMC,% Namjoshi:2010:CCR,% Voronkov:2001:HOP% }. \NAMECITE{Metric}{% Baader:2020:MTD,% Lazic:2016:ZHH,% Furia:2010:TSC,% Kutz:2003:LMS,% Tucker:2004:AVC% }. \NAMECITE{Minimal}{% Almagor:2022:MID,% Wrona:2019:CMI,% Donini:2002:DLM% }. \NAMECITE{minimization}{% Bonchi:2014:ACD,% Bustan:2003:SBM% }. \NAMECITE{Minimizing}{% Halamish:2015:MDL% }. \NAMECITE{Minimum}{% Rondogiannis:2005:MMS% }. \NAMECITE{{Minkowski}}{% LeRoux:2018:MG% }. \NAMECITE{{MITL}}{% Menghi:2020:MCM% }. \NAMECITE{Mixed}{% Liberatore:2023:MIR% }. \NAMECITE{{MKNF}}{% Alferes:2013:QDP% }. \NAMECITE{{MLL}}{% Murawski:2006:FVM% }. \NAMECITE{mobile}{% DeNicola:2004:MLM% }. \NAMECITE{Modal}{% Artale:2023:LBC,% Bednarczyk:2023:CFF,% Dima:2018:RPT,% Goller:2015:CDM,% Hella:2020:SMI,% Khan:2018:SML,% Kupke:2022:CRG,% Martini:2021:SLN,% Michaliszyn:2015:DEM,% Nalon:2019:MRP,% Nielson:2011:MAC,% Padmanabha:2023:DFF,% Praveen:2013:DTH,% Dawar:2004:IFP,% DeNicola:2004:MLM,% Dyckhoff:2013:APT,% Ferrari:2005:CDP,% Gradel:2002:BFB,% Liau:2005:MLF,% Nanevski:2008:CMT,% Schmidt:2007:ATP,% Schroder:2009:PBR,% Tiu:2010:PSS,% Voronkov:2001:HOP,% Wolter:2008:UUA% }. \NAMECITE{Modalities}{% Gratzer:2022:MPA,% Lellmann:2019:MSC% }. \NAMECITE{moded}{% Bossi:2004:TSM% }. \NAMECITE{Model}{% Adler:2023:FPT,% Aziz:2000:MCC,% Baldan:2020:MCL,% Bortolussi:2019:CLM,% Bova:2016:MCE,% Bozzelli:2019:IVP,% Bryans:2003:MCS,% Cavalcanti:2020:IOC,% Cerrito:2015:OTM,% Daca:2017:FSM,% Delgrande:2013:MTA,% Eickmeyer:2020:MCO,% Etessami:2012:MCR,% Feng:2020:MTO,% Gajarsky:2020:NPF,% Khan:2018:SML,% Lumsdaine:2015:LUM,% Menghi:2020:MCM,% Mogavero:2014:RAS,% VanDerMeyden:2020:UCM,% Wen:2016:MPT,% Ying:2014:MCL,% Zhang:2017:ELP,% Alur:2001:PTL,% Bauland:2011:TMC,% Bruyere:2008:DPM,% Gottlob:2002:DLD,% Janhunen:2006:UPD,% Laplante:2007:PAM,% Legay:2010:ORM,% Rondogiannis:2005:MMS% }. \NAMECITE{Model-Checking}{% Eickmeyer:2020:MCO,% Mogavero:2014:RAS,% Ying:2014:MCL,% Aziz:2000:MCC,% Bruyere:2008:DPM% }. \NAMECITE{Model-Theoretic}{% Delgrande:2013:MTA% }. \NAMECITE{modeling}{% Choi:2007:RPR,% East:2006:PCB% }. \NAMECITE{Modelling}{% Artale:2014:CTC,% Horne:2019:MDN% }. \NAMECITE{Models}{% Aameri:2023:RTA,% Baxter:2023:TUC,% Riguzzi:2014:TEL,% vandenBerg:2012:TSM% }. \NAMECITE{Modular}{% Hou:2018:MLS,% Rabe:2018:MTR,% Analyti:2011:MPF,% Stone:2005:DMG% }. \NAMECITE{Modularisation}{% Lellmann:2019:MSC% }. \NAMECITE{modularity}{% Vennekens:2006:SOA,% Vennekens:2007:ESO% }. \NAMECITE{Modulo}{% Cai:2023:LSS,% Cimatti:2018:ILS,% Sebastiani:2015:OMT,% Cimatti:2010:EGC% }. \NAMECITE{Monad}{% Adamek:2021:RTF% }. \NAMECITE{Monadic}{% Benedikt:2020:MDT,% Elberfeld:2016:WFO,% Fijalkow:2017:MSO,% Gottlob:2010:MDF,% Mamouras:2016:HLD,% Szeider:2011:MSO,% Kazana:2013:EMS% }. \NAMECITE{monads}{% Wadler:2003:MEM% }. \NAMECITE{Monodic}{% Degtyarev:2006:MTR% }. \NAMECITE{Monotone}{% Bogaerts:2016:WFS% }. \NAMECITE{Monotonic}{% Benedikt:2023:MDR% }. \NAMECITE{{Morgan}}{% Horne:2019:MDN% }. \NAMECITE{Morphisms}{% Rabe:2015:LTM% }. \NAMECITE{Most}{% Chen:2013:CLM% }. \NAMECITE{motion}{% Benhamou:2004:ICS% }. \NAMECITE{{MSO}}{% Engelfriet:2001:MDS% }. \NAMECITE{{MTL}}{% Feng:2020:MTO% }. \NAMECITE{{Mu}}{% Dima:2018:RPT% }. \NAMECITE{{Mu}-Calculus}{% Dima:2018:RPT% }. \NAMECITE{multi}{% Liau:2005:MLF% }. \NAMECITE{multi-agent}{% Liau:2005:MLF% }. \NAMECITE{Multiagent}{% Huang:2019:RAC,% Goranko:2009:TBD,% Lomuscio:2000:KMS% }. \NAMECITE{multiary}{% Santo:2011:CMS% }. \NAMECITE{multicast}{% Bistarelli:2010:UMQ% }. \NAMECITE{Multicriteria}{% Komosinski:2014:IEA% }. \NAMECITE{Multigranulation}{% Khan:2018:SML% }. \NAMECITE{Multiplayer}{% Enqvist:2022:TLC% }. \NAMECITE{Multiple}{% DiGiusto:2012:EPM,% Peppas:2012:MMB% }. \NAMECITE{multiplicative}{% Hughes:2005:PNU% }. \NAMECITE{multiplicative-additive}{% Hughes:2005:PNU% }. \NAMECITE{Multirelations}{% Furusawa:2016:TM% }. \NAMECITE{multisets}{% Dovier:2008:UAC% }. \NAMECITE{Multiteam}{% Gradel:2022:LMS% }. \NAMECITE{multivalued}{% Loyer:2004:HBS% }. \NAMECITE{{MWeb}}{% Analyti:2011:MPF% }. \NAMECITE{mwp\}}{% Jones:2009:FCM% }. \NAMECITE{mwp\}-bounds}{% Jones:2009:FCM% }. \NAMECITE{named}{% VandenBussche:2007:PTI% }. \NAMECITE{Names}{% Baader:2020:MTD,% Horne:2019:MDN,% Kjos-Hanssen:2012:ACE% }. \NAMECITE{Narrow}{% Atserias:2016:NPM,% Beyersdorff:2018:SPN% }. \NAMECITE{{Nash}}{% Gutierrez:2021:ENE% }. \NAMECITE{Natural}{% Cabrer:2019:CAU,% Martini:2021:SLN,% Leino:2015:APS% }. \NAMECITE{Nature}{% Carayol:2020:HGS% }. \NAMECITE{Necessary}{% Aceto:2022:TBO% }. \NAMECITE{Negated}{% VanBakel:2018:CNP% }. \NAMECITE{Negation}{% Geck:2019:PCC,% Cohen:2005:EAA,% Donini:2002:DLM,% Rondogiannis:2005:MMS,% Schmidt:2014:UTD% }. \NAMECITE{negation-as-failure}{% Rondogiannis:2005:MMS% }. \NAMECITE{Negotiations}{% Son:2014:FNU% }. \NAMECITE{Nested}{% Chatterjee:2017:NWA,% Echenim:2013:ISN,% Kartzow:2013:FOL,% Martini:2021:SLN,% Arai:2009:NFA,% Cadoli:2005:CPN,% VandenBussche:2007:PTI% }. \NAMECITE{Nets}{% Blondin:2017:LVC,% Chalopin:2019:SPN,% Hamano:2018:GIM,% Lopes:2021:RAP,% McKinley:2013:PNH,% Hughes:2005:PNU,% Murawski:2006:FVM% }. \NAMECITE{Network}{% Gallo:2022:LBD,% Shakarian:2013:UGA% }. \NAMECITE{{NEXP}}{% Lutz:2004:NTC% }. \NAMECITE{No}{% Demri:2016:ECS,% Simonsen:2015:CRS% }. \NAMECITE{Nominal}{% Fairweather:2018:TNR,% Horne:2019:MDN,% Levy:2012:NUH,% Dowek:2012:PNL% }. \NAMECITE{Nominals}{% Artale:2023:LBC% }. \NAMECITE{Non}{% Borralleras:2019:IST,% Cohen:2020:NWF,% Fernandez-Duque:2014:NFA,% Horne:2019:MDN,% Lellmann:2019:MSC,% Seiller:2018:IGN,% Aehlig:2002:SAN,% Genaim:2008:INS% }. \NAMECITE{Non-Commutative}{% Horne:2019:MDN% }. \NAMECITE{Non-Deterministic}{% Seiller:2018:IGN% }. \NAMECITE{Non-finite}{% Fernandez-Duque:2014:NFA% }. \NAMECITE{Non-Linear}{% Borralleras:2019:IST% }. \NAMECITE{Non-normal}{% Lellmann:2019:MSC% }. \NAMECITE{non-size-increasing}{% Aehlig:2002:SAN% }. \NAMECITE{non-suspension}{% Genaim:2008:INS% }. \NAMECITE{Non-well-founded}{% Cohen:2020:NWF% }. \NAMECITE{Nonconstructive}{% Berardi:2012:IRN% }. \NAMECITE{Nondeterministic}{% Larchey-Wendling:2013:NPS,% Mamouras:2016:HLD,% Baier:2007:VNP% }. \NAMECITE{Nonelementary}{% Lazic:2015:NCB% }. \NAMECITE{nonground}{% DeBruijn:2011:ENL% }. \NAMECITE{Nonlinear}{% Cimatti:2018:ILS% }. \NAMECITE{nonmonotone}{% Denecker:2008:LNI% }. \NAMECITE{nonmonotonic}{% Bonatti:2002:SCP,% Egly:2001:PCR,% Eiter:2005:RAE,% Eiter:2010:FDN,% Giordano:2009:ATC,% Sakama:2005:IAS% }. \NAMECITE{Nonuniform}{% Creignou:2010:NBC% }. \NAMECITE{norm}{% Artikis:2009:SNG% }. \NAMECITE{norm-governed}{% Artikis:2009:SNG% }. \NAMECITE{Normal}{% Jouannaud:2015:NHO,% Lellmann:2019:MSC,% Martini:2021:SLN,% Radcliffe:2017:UNF% }. \NAMECITE{Normalisation}{% VanBakel:2018:CNP% }. \NAMECITE{Normality}{% Fichte:2015:BND% }. \NAMECITE{Normalizing}{% Simonsen:2015:CRS% }. \NAMECITE{normative}{% Sergot:2001:CTN% }. \NAMECITE{normed}{% Griffioen:2004:TNS% }. \NAMECITE{note}{% Cohen:2000:NCP% }. \NAMECITE{{NP}}{% Beckmann:2017:NSP,% Korovin:2005:KBC% }. \NAMECITE{{NP}-complete}{% Korovin:2005:KBC% }. \NAMECITE{{Nullstellensatz}}{% Impagliazzo:2006:CDF% }. \NAMECITE{Number}{% Amarilli:2020:FOW,% Bergstra:2023:EER,% Toran:2023:NVG,% Avigad:2007:FVP% }. \NAMECITE{numbers}{% Afrati:2005:DPT,% Cosmadakis:2010:UIR,% Ratschan:2006:ESQ% }. \NAMECITE{Numerical}{% Newton:2019:TNA% }. \NAMECITE{{OBDD}}{% Buss:2021:LBO% }. \NAMECITE{objects}{% Bono:2002:TIE% }. \NAMECITE{Observation}{% Chatterjee:2014:POS% }. \NAMECITE{Obtain}{% Aceto:2022:TBO,% Fontaine:2015:WIH% }. \NAMECITE{Off}{% Carlucci:2016:PCP% }. \NAMECITE{Off-Diagonal}{% Carlucci:2016:PCP% }. \NAMECITE{Omega}{% Legay:2010:ORM% }. \NAMECITE{Omega-}{% Legay:2010:ORM% }. \NAMECITE{One}{% Blondin:2023:COC,% Chen:2013:CLM,% Chen:2017:OHS,% Feng:2020:MTO,% Hampson:2015:UPB,% Podder:2022:ZOL,% Simonsen:2015:CRS,% Seidl:2008:FOV% }. \NAMECITE{One-Counter}{% Feng:2020:MTO,% Blondin:2023:COC% }. \NAMECITE{One-Step}{% Simonsen:2015:CRS% }. \NAMECITE{One-Variable}{% Hampson:2015:UPB,% Seidl:2008:FOV% }. \NAMECITE{Ontology}{% Hernich:2020:DOM,% Wang:2015:DLO% }. \NAMECITE{Ontology-Mediated}{% Hernich:2020:DOM% }. \NAMECITE{Open}{% Amarilli:2020:FOW,% Heymans:2008:OAS% }. \NAMECITE{Open-world}{% Amarilli:2020:FOW% }. \NAMECITE{Operational}{% Doherty:2022:UOW,% Gall:2018:OSC% }. \NAMECITE{operations}{% Bodirsky:2013:CST% }. \NAMECITE{operator}{% Vennekens:2006:SOA,% Vennekens:2007:ESO% }. \NAMECITE{Operators}{% Aceto:2022:TBO,% Binnewies:2018:SPB,% Bogaerts:2016:WFS,% Herzig:2013:PUO,% Schirrmacher:2023:FOL,% Dyckhoff:2013:APT% }. \NAMECITE{{OPL}}{% vanHentenryck:2000:SSO% }. \NAMECITE{Optimal}{% Cerrito:2015:OTM,% Subramani:2004:OLT,% Coppola:2006:OOR,% Pedicini:2007:PPE% }. \NAMECITE{Optimality}{% Galesi:2010:OSD% }. \NAMECITE{Optimization}{% Chlebowski:2017:AGE,% Sebastiani:2015:OMT,% Shakarian:2013:UGA% }. \NAMECITE{optimize}{% Voronkov:2001:HOP% }. \NAMECITE{Optimizing}{% Coppola:2006:OOR% }. \NAMECITE{Oracle}{% Barmpalias:2017:PCO% }. \NAMECITE{Order}{% Asuncion:2014:PFO,% Audrito:2019:HOC,% Charalambidis:2013:EHO,% Eickmeyer:2017:SOI,% Elberfeld:2016:WFO,% Fijalkow:2017:MSO,% Fomin:2022:PCE,% Gajarsky:2020:FOI,% Goller:2015:CDM,% Hampson:2015:UPB,% Jouannaud:2015:NHO,% Kartzow:2013:FOL,% Kopczynski:2015:VHF,% Levy:2012:NUH,% Madelaine:2012:CPF,% Padmanabha:2023:DFF,% Podder:2022:ZOL,% Wittocx:2013:CPF,% Aehlig:2005:EFS,% Avigad:2003:EDS,% Basin:2020:RVO,% Bauer:2014:PCF,% Beckmann:2014:IWL,% Broadbent:2021:HOR,% Crolard:2009:ELL,% DalLago:2009:GLH,% Dowek:2012:PNL,% Durand:2007:FOQ,% Friedman:2000:FOC,% Geerts:2008:FOC,% Grohe:2000:LOI,% Grohe:2002:FOT,% Kazana:2013:EMS,% Libkin:2003:VIF,% McDowell:2002:RHO,% Momigliano:2003:HOP,% Pientka:2009:HOT,% Ratschan:2004:CAS,% Salibra:2003:TIO,% Schirrmacher:2023:FOL,% Schweikardt:2005:AFO,% Szeider:2011:MSO,% Tan:2014:ETV,% Tomovic:2020:FOL% }. \NAMECITE{Order-Invariant}{% Eickmeyer:2017:SOI,% Grohe:2000:LOI% }. \NAMECITE{Ordered}{% Benedikt:2016:LUO,% Bova:2016:MCE,% Eickmeyer:2020:MCO,% Newton:2019:TNA,% Comon:2003:DCO% }. \NAMECITE{orderings}{% Blass:2008:PTW% }. \NAMECITE{Orders}{% Buss:2021:LBO,% Khoussainov:2005:ALO% }. \NAMECITE{Ordinary}{% Blass:2006:OIS,% Blass:2007:OISa,% Blass:2007:OISb% }. \NAMECITE{Other}{% Ciabattoni:2015:TPO,% Bordeaux:2009:GCO% }. \NAMECITE{Out-of-order}{% Basin:2020:RVO% }. \NAMECITE{Outlier}{% Angiulli:2007:ODL% }. \NAMECITE{Output}{% Barmpalias:2017:PCO% }. \NAMECITE{Outputs}{% Aamer:2023:IOC,% Baxter:2023:TUC,% Cavalcanti:2020:IOC% }. \NAMECITE{Overlooked}{% Lumsdaine:2015:LUM% }. \NAMECITE{Paraconsistent}{% Arieli:2007:PRP,% Ciabattoni:2015:TPO% }. \NAMECITE{Parallel}{% Aceto:2022:TBO,% Albert:2016:MHP,% Albert:2018:PCA,% Geck:2019:PCC,% Simari:2013:PAQ,% Blass:2003:ASM,% Blass:2008:ASM,% Pedicini:2007:PPE% }. \NAMECITE{Parallel-Correctness}{% Geck:2019:PCC% }. \NAMECITE{parameter}{% Lonc:2003:FPC% }. \NAMECITE{Parameterized}{% Avni:2015:PWC,% Beyersdorff:2013:PCD,% DeHaan:2017:PCF,% Fomin:2022:PCE,% Klinkhamer:2019:VLF,% Li:2018:APA,% Mahmood:2023:PCL% }. \NAMECITE{Parametric}{% Alur:2001:PTL,% Gratzer:2022:MPA,% Bruyere:2008:DPM% }. \NAMECITE{Parametrised}{% Luck:2017:PCS% }. \NAMECITE{{Parikh}}{% Aravanis:2023:GPC% }. \NAMECITE{{Paris}}{% Carlucci:2016:PCP% }. \NAMECITE{Parity}{% Beckmann:2014:PGP,% Broadbent:2021:CPP,% Garlik:2018:SSC,% Atserias:2014:DLB,% Chatterjee:2011:QCP% }. \NAMECITE{Partial}{% Chatterjee:2014:POS,% Blass:2008:PTW,% Kozen:2003:SLP,% Tucker:2004:AVC% }. \NAMECITE{Partial-Observation}{% Chatterjee:2014:POS% }. \NAMECITE{partiality}{% Janhunen:2006:UPD% }. \NAMECITE{Partially}{% Bova:2016:MCE% }. \NAMECITE{passing}{% Bernardo:2004:SSR,% Guerrini:2009:PTC% }. \NAMECITE{Path}{% VanDenBerg:2018:PCP,% Buneman:2003:IBP% }. \NAMECITE{Paths}{% Dima:2018:RPT% }. \NAMECITE{pattern}{% Momigliano:2003:HOP% }. \NAMECITE{{PCL}}{% Giordano:2009:TCP% }. \NAMECITE{Pebble}{% Bollig:2014:PWA,% Tan:2013:GRP% }. \NAMECITE{Pebbling}{% Nordstrom:2012:RSP% }. \NAMECITE{{PELCR}}{% Pedicini:2007:PPE% }. \NAMECITE{Perfect}{% Bulling:2019:RAS,% Kramer:2015:LII% }. \NAMECITE{Permissive}{% Dowek:2012:PNL% }. \NAMECITE{Permissive-nominal}{% Dowek:2012:PNL% }. \NAMECITE{persistency}{% Afrati:2005:DPT,% Cosmadakis:2010:UIR% }. \NAMECITE{Persistent}{% Blass:2011:PQB,% Heras:2013:CPH% }. \NAMECITE{Perspective}{% Gajarsky:2020:NPF,% Levy:2012:NUH% }. \NAMECITE{{Petri}}{% Blondin:2017:LVC,% Chalopin:2019:SPN,% Lopes:2021:RAP% }. \NAMECITE{Phase}{% Larchey-Wendling:2013:NPS,% Wen:2016:MPT% }. \NAMECITE{{PHP}}{% Krajicek:2021:SCD% }. \NAMECITE{Phylogeny}{% Bodirsky:2017:CPC% }. \NAMECITE{Piece}{% Neider:2018:CSP% }. \NAMECITE{Piece-Wise}{% Neider:2018:CSP% }. \NAMECITE{Piecewise}{% Bodirsky:2022:PLV,% Ghafari:2012:RPP% }. \NAMECITE{Plane}{% Trybus:2016:RRB% }. \NAMECITE{planning}{% Aiello:2001:VSP,% Benhamou:2004:ICS,% Eiter:2004:LPA,% Son:2006:DDK% }. \NAMECITE{{PLP}}{% Shen:2008:RRL% }. \NAMECITE{Point}{% Bozzelli:2019:IVP,% Ghilardi:2020:FPE% }. \NAMECITE{pointer}{% Hofmann:2010:PPP% }. \NAMECITE{Points}{% Baelde:2012:LGF,% Dawar:2004:IFP% }. \NAMECITE{Polymorphic}{% VandenBussche:2007:PTI% }. \NAMECITE{Polynomial}{% Givan:2002:PTC,% Khaniki:2022:PCR,% Pakusa:2018:DCF,% Aehlig:2002:SAN,% Galesi:2010:OSD,% Godoy:2004:CTR% }. \NAMECITE{Polynomial-time}{% Givan:2002:PTC% }. \NAMECITE{polynomially}{% Impagliazzo:2006:CDF% }. \NAMECITE{positions}{% Sergot:2001:CTN% }. \NAMECITE{Positive}{% Madelaine:2012:CPF,% Schubert:2016:HHP,% Chen:2014:CEP% }. \NAMECITE{Possibilistic}{% Su:2017:PJL% }. \NAMECITE{Power}{% Carreiro:2020:PW,% Ciabattoni:2016:PLS,% DiGiusto:2012:EPM,% Novakovic:2015:PSC% }. \NAMECITE{Precongruence}{% Bloom:2004:PFD% }. \NAMECITE{Predicate}{% East:2006:PCB,% Lahiri:2007:PAI% }. \NAMECITE{Predicate-calculus-based}{% East:2006:PCB% }. \NAMECITE{Predicates}{% Demri:2021:EAR,% Echenim:2020:BSR,% Fijalkow:2017:MSO,% Lahiri:2007:PAI% }. \NAMECITE{predicative}{% Adams:2010:WPC% }. \NAMECITE{preference}{% Giordano:2009:TCP% }. \NAMECITE{preference-based}{% Giordano:2009:TCP% }. \NAMECITE{preferential}{% Arieli:2007:PRP% }. \NAMECITE{Preferred}{% Asuncion:2014:PFO% }. \NAMECITE{preorders}{% Dezani-Ciancaglini:2003:CCC% }. \NAMECITE{{Presburger}}{% Klaedtke:2008:BAS% }. \NAMECITE{Preservation}{% Benedikt:2016:EIP% }. \NAMECITE{Preserving}{% Binnewies:2018:SPB,% Tao:2015:CFS% }. \NAMECITE{prime}{% Avigad:2007:FVP% }. \NAMECITE{principle}{% Schmidt:2007:ATP% }. \NAMECITE{principled}{% Analyti:2011:MPF% }. \NAMECITE{Principles}{% Britz:2021:PKS,% Beckmann:2014:IWL% }. \NAMECITE{privacy}{% More:2012:CCG% }. \NAMECITE{Private}{% Horne:2019:MDN% }. \NAMECITE{Probabilistic}{% Barthe:2022:UEM,% Conradie:2019:PEU,% Danos:2002:PGS,% Dix:2000:PAP,% Etessami:2012:MCR,% Fazzinga:2015:CPA,% Hung:2007:PIX,% Lanotte:2009:PBC,% Laplante:2007:PAM,% Lukasiewicz:2001:PLP,% Molinaro:2014:SSS,% Shakarian:2012:APT,% Simari:2013:PAQ,% Skarlatidis:2015:PEC,% VanDerMeyden:2020:UCM,% Baier:2007:VNP,% Dix:2006:HTP,% Iocchi:2009:RAA,% Shakarian:2011:APT% }. \NAMECITE{Probability}{% Barmpalias:2017:PCO,% Crafa:2015:LCB,% Tomovic:2020:FOL% }. \NAMECITE{Problem}{% Biscaia:2015:DAS,% Dapic:2017:QCS,% Mogavero:2014:RAS,% Schockaert:2012:FEL,% Wrona:2019:CMI% }. \NAMECITE{Problems}{% Arenas:2021:CCP,% Aschinger:2014:LLC,% Beckmann:2017:NSP,% Bodirsky:2017:CPC,% Danicic:2012:CDD,% Facchini:2016:IPG,% Ghafari:2012:RPP,% Pakusa:2018:DCF,% Shakarian:2013:UGA,% Shapirovsky:2022:SPS,% Angiulli:2003:CPM,% Bulatov:2011:CCC,% Creignou:2010:NBC,% East:2006:PCB,% Godoy:2004:CTR,% Wolter:2008:UUA% }. \NAMECITE{Procedural}{% Fuhs:2017:VPP,% Crolard:2009:ELL% }. \NAMECITE{Procedure}{% Ferrari:2015:EDD,% Lahav:2019:PSC,% Matheja:2023:DPG,% Boigelot:2005:EDP,% Rybina:2001:DPT% }. \NAMECITE{Procedures}{% Alferes:2013:QDP,% Beyersdorff:2013:PCD,% Armando:2009:NRR,% Goranko:2009:TBD% }. \NAMECITE{Process}{% Goller:2014:RPR,% Bernardo:2004:SSR,% Bravetti:2002:DAW% }. \NAMECITE{Processes}{% Chatzikokolakis:2012:ESG,% Feng:2014:SBQ,% Chadha:2010:CGA,% Ying:2009:AQP% }. \NAMECITE{Processing}{% Poza:2014:CRS% }. \NAMECITE{Processor}{% Bryant:2001:PVU% }. \NAMECITE{producing}{% Bernardo:2004:SSR% }. \NAMECITE{Product}{% Sojakova:2016:ETP% }. \NAMECITE{Program}{% Berardi:2012:IRN,% Blass:2008:PTW,% Bomanson:2020:AVS,% Danicic:2012:CDD,% Mastroeni:2017:APS,% Goldblatt:2012:WSP,% Marion:2009:SIS,% Murawski:2005:AUP,% Zhang:2006:LPB% }. \NAMECITE{program-based}{% Zhang:2006:LPB% }. \NAMECITE{Programming}{% Bodirsky:2022:PLV,% Charalambidis:2013:EHO,% Delgrande:2013:MTA,% Son:2014:FNU,% Aiello:2001:VSP,% Alberti:2008:VAI,% Angiulli:2007:ODL,% Bistarelli:2006:SCC,% Bistarelli:2010:UMQ,% Denecker:2001:LPR,% Eiter:2004:LPA,% Eiter:2007:SCC,% Gaintzarain:2013:LFM,% Heymans:2008:OAS,% Lavrac:2001:ETA,% Lukasiewicz:2001:PLP,% Reiter:2001:KBP,% Sakama:2008:CAS% }. \NAMECITE{Programs}{% Asuncion:2014:PFO,% Barthe:2022:UEM,% Binnewies:2018:SPB,% Calautti:2017:DDC,% Drabent:2016:CCL,% Feng:2022:VDQ,% Fichte:2015:BND,% Fuhs:2017:VPP,% Gebser:2013:TCL,% Oetsch:2021:BUE,% Riguzzi:2014:TEL,% Shakarian:2013:UGA,% Simari:2013:PAQ,% Wang:2023:WAS,% Wen:2016:MPT,% Zhang:2017:ELP,% Afrati:2005:DPT,% Alur:2012:AAA,% Bossi:2004:TSM,% Brass:2004:SLP,% Cosmadakis:2010:UIR,% DeBoer:2004:PCT,% DeBruijn:2011:ENL,% Denecker:2001:LPR,% Dix:2000:PAP,% Eiter:2010:FDN,% Eiter:2011:WFS,% Ferraris:2011:LPP,% Genaim:2008:INS,% Heymans:2008:OAS,% Hofmann:2010:PPP,% Lifschitz:2001:SEL,% Lonc:2003:FPC,% Loyer:2004:HBS,% Mesnard:2003:PLT,% Rondogiannis:2005:MMS,% Sakama:2005:IAS,% Schneider-Kamp:2009:ATP,% Shen:2003:DAC,% Verbaeten:2001:TPL,% Wang:2005:CCW% }. \NAMECITE{Progression}{% Ponomaryov:2017:PDL% }. \NAMECITE{promise}{% Dershowitz:2010:CPP% }. \NAMECITE{Proof}{% Atserias:2019:PCM,% Barrett:2022:SPS,% Bova:2008:PSH,% Carlucci:2016:PCP,% Cohen:2020:NWF,% Egly:2001:PCR,% Hamano:2018:GIM,% Hughes:2005:PNU,% Khaniki:2022:PCR,% Leino:2015:APS,% McKinley:2013:PNH,% Schellhorn:2014:SCP,% Tiu:2010:PSS,% Tubella:2018:SPS,% Avigad:2007:FVP,% Bruscoli:2009:PCD,% Dyckhoff:2013:APT,% Miller:2005:PTG,% Murawski:2006:FVM,% Stone:2005:DMG,% Voronkov:2001:HOP% }. \NAMECITE{Proof-complexity}{% Egly:2001:PCR% }. \NAMECITE{Proof-Nets}{% Hamano:2018:GIM% }. \NAMECITE{proof-search}{% Voronkov:2001:HOP% }. \NAMECITE{Proofs}{% Atserias:2016:NPM,% Atserias:2023:CYS,% Beckmann:2014:PGP,% Beckmann:2017:NSP,% Berardi:2012:IRN,% Beyersdorff:2018:SPN,% Bryant:2023:GER,% Buss:2021:LBO,% Ciabattoni:2021:DLP,% Guerrini:2009:PTC,% Kramer:2015:LII,% Nalon:2019:MRP,% Ben-Sasson:2010:LBB,% Dershowitz:2010:CPP,% Schneider-Kamp:2009:ATP,% Verbaeten:2001:TPL% }. \NAMECITE{Propagation}{% Wittocx:2013:CPF,% Choi:2007:RPR% }. \NAMECITE{Proper}{% Chen:2022:SCP% }. \NAMECITE{Properly}{% Greco:2023:LLP% }. \NAMECITE{Properties}{% Biscaia:2015:DAS,% Broadbent:2021:HOR,% Chadha:2016:AVE,% Daca:2017:FSM,% Fomin:2022:PCE,% VanBakel:2018:CNP,% Ying:2014:MCL,% Angiulli:2003:CPM,% Baier:2007:VNP,% Bordeaux:2009:GCO,% Chen:2013:VLD,% Comon-Lundh:2010:DSP,% Kahler:2010:DSP,% Libkin:2000:LCL,% Libkin:2001:LCL% }. \NAMECITE{Property}{% Adler:2023:FPT,% Ferrari:2005:CDP,% Laplante:2007:PAM% }. \NAMECITE{Proposition}{% Bergstra:2011:PA% }. \NAMECITE{Propositional}{% Atserias:2023:CYS,% Beckmann:2014:PGP,% Creignou:2016:BMW,% Ferrari:2012:SRI,% Fiorentini:2020:DBU,% Ghilardi:2020:FPE,% Hampson:2015:UPB,% Hannula:2018:CPL,% Herzig:2013:PUO,% Japaridze:2006:PCLa,% Japaridze:2006:PCLb,% VanDenBerg:2018:PCP,% Bonatti:2002:SCP,% Bryant:2001:PVU,% Cadoli:2005:CPN,% Cohen:2000:NCP,% Dershowitz:2010:CPP,% Ferraris:2011:LPP,% Gurevich:2011:LIP,% Lahav:2013:USF,% Liberatore:2007:CPA% }. \NAMECITE{propositions}{% Dyckhoff:2013:APT% }. \NAMECITE{protocol}{% More:2012:CCG% }. \NAMECITE{Protocols}{% Chadha:2016:AVE,% Chretien:2015:SPP,% Chretien:2020:TMF,% Aiello:2001:VSP,% Chevalier:2008:CRS,% Comon-Lundh:2010:DSP,% Kahler:2010:DSP,% Seidl:2008:FOV% }. \NAMECITE{Provability}{% Fiorentini:2020:DBU% }. \NAMECITE{prove}{% Hesselink:2005:EVP% }. \NAMECITE{prover}{% Olivetti:2007:SCT% }. \NAMECITE{Proving}{% DeBoer:2004:PCT,% Felgenhauer:2015:LSP,% Li:2018:APA,% Nguyen:2012:CPD,% Mesnard:2003:PLT,% Voronkov:2001:HOP% }. \NAMECITE{{PSPACE}}{% Bauer:2014:PCF,% Gaboardi:2012:ICP,% Schroder:2009:PBR% }. \NAMECITE{{PSPACE-complete}}{% Bauer:2014:PCF% }. \NAMECITE{public}{% Chevalier:2008:CRS% }. \NAMECITE{{Pudl{\'a}k}}{% Ben-Sasson:2010:LBB% }. \NAMECITE{Pure}{% Hofmann:2010:PPP,% Lahav:2019:PSC% }. \NAMECITE{Pushdown}{% Bozzelli:2023:ITL,% Broadbent:2021:CPP,% Broadbent:2021:HOR,% Chretien:2015:SPP,% Clemente:2019:BRT,% Friedmann:2015:RBI,% Hague:2017:CPA,% Kartzow:2013:FOL% }. \NAMECITE{{QBF}}{% Beyersdorff:2018:SPN,% Beyersdorff:2020:DQD,% Beyersdorff:2023:HCS% }. \NAMECITE{{QCSP}}{% Larose:2022:QRT% }. \NAMECITE{{QoS}}{% Bistarelli:2010:UMQ% }. \NAMECITE{{QPTL}}{% Bellier:2023:GGQ% }. \NAMECITE{{QSQR}}{% Madalinska-Bugaj:2012:GQE% }. \NAMECITE{Qualitative}{% Berthon:2021:ATA,% Chatterjee:2011:QCP,% Iocchi:2009:RAA% }. \NAMECITE{Quality}{% Bouyer:2023:RAQ% }. \NAMECITE{Quantification}{% Guidi:2022:FSU,% Schubert:2016:HHP,% Kaminski:2002:RQA% }. \NAMECITE{Quantified}{% Carvalho:2023:CQC,% Dapic:2017:QCS,% Arieli:2007:PRP,% Bordeaux:2009:GCO,% Ratschan:2006:ESQ% }. \NAMECITE{Quantifier}{% Berkholz:2015:BQD,% Bruttomesso:2014:QFI,% Demri:2021:EAR,% Podder:2022:ZOL,% Demri:2009:LFQ% }. \NAMECITE{Quantifier-Free}{% Demri:2021:EAR,% Bruttomesso:2014:QFI% }. \NAMECITE{Quantifiers}{% Horne:2019:MDN,% Atserias:2014:DLB,% Ratschan:2004:CAS,% Schweikardt:2005:AFO% }. \NAMECITE{Quantitative}{% Chatterjee:2010:QL,% Lescanne:2018:QAL,% Marchioni:2015:LGL,% McIver:2007:RQC% }. \NAMECITE{Quantum}{% Ardeshir-Larijani:2018:AEC,% Feng:2014:SBQ,% Feng:2022:VDQ,% Takagi:2023:SAL,% Ying:2014:MCL,% Ying:2009:AQP% }. \NAMECITE{Queries}{% Ameloot:2017:DQD,% Benedikt:2023:MDR,% Chen:2017:OHS,% Geck:2019:PCC,% Neven:2018:FSM,% Bailey:2010:LQV,% Blass:2011:PQB,% Chen:2014:CEP,% Cohen:2005:EAA,% Durand:2007:FOQ,% Grohe:2002:FOT,% Kazana:2013:EMS% }. \NAMECITE{Query}{% Alferes:2013:QDP,% Amarilli:2020:FOW,% Benedikt:2016:LUO,% Fontaine:2015:WIH,% Leone:2019:FQA,% Simari:2013:PAQ,% Benedikt:2007:LDQ,% Calvanese:2008:CQC,% Geerts:2008:FOC,% Gottlob:2002:DLD% }. \NAMECITE{Query-Driven}{% Alferes:2013:QDP% }. \NAMECITE{Querying}{% Hernich:2020:DOM% }. \NAMECITE{queues}{% Rybina:2001:DPT% }. \NAMECITE{{R}}{% Gall:2018:OSC% }. \NAMECITE{{Ramsey}}{% Carlucci:2016:PCP,% Echenim:2020:BSR,% Friedmann:2015:RBI% }. \NAMECITE{{Ramsey}-Based}{% Friedmann:2015:RBI% }. \NAMECITE{Random}{% Barmpalias:2017:PCO,% Case:2022:IAR,% Wen:2016:MPT,% Kjos-Hanssen:2012:ACE,% Lynch:2005:CLR% }. \NAMECITE{Randomization}{% Carayol:2014:RAI,% Carayol:2015:ERA% }. \NAMECITE{randomness}{% Hitchcock:2007:ACD% }. \NAMECITE{Rank}{% Dawar:2022:SCR,% Grohe:2023:CDG,% Schroder:2009:PBR% }. \NAMECITE{rank-1}{% Schroder:2009:PBR% }. \NAMECITE{ranked}{% Benedikt:2007:LDQ% }. \NAMECITE{Rational}{% Barcelo:2017:GLR,% Bergstra:2023:EER,% Sebastiani:2015:OMT,% Trybus:2016:RRB% }. \NAMECITE{Rationale}{% Liberatore:2023:MIR% }. \NAMECITE{{RDF}}{% Udrea:2010:AR% }. \NAMECITE{Reachability}{% Clemente:2019:BRT,% Demri:2021:EAR,% Ghafari:2012:RPP,% Tan:2013:GRP,% Zanardini:2014:IFS% }. \NAMECITE{Real}{% Trybus:2016:RRB,% Ratschan:2006:ESQ% }. \NAMECITE{Realizability}{% Konovalov:2021:GRB,% Konovalov:2023:GRI% }. \NAMECITE{Realizers}{% Berardi:2012:IRN% }. \NAMECITE{reals}{% Boigelot:2005:EDP% }. \NAMECITE{Reason}{% Fan:2020:RMB% }. \NAMECITE{Reason-maintenance}{% Fan:2020:RMB% }. \NAMECITE{Reasoning}{% Benerecetti:2015:RAS,% Bouyer:2023:RAQ,% Bulling:2019:RAS,% Creignou:2012:CRF,% Eiter:2005:RAE,% Huang:2019:RAC,% Iocchi:2009:RAA,% Khan:2018:SML,% Kupke:2022:CRG,% Lopes:2021:RAP,% McDowell:2002:RHO,% Mogavero:2014:RAS,% Schwartz:2015:DRS,% Shen:2008:RRL,% Su:2017:PJL,% Tao:2015:CFS,% Tomovic:2020:FOL,% Arieli:2007:PRP,% Bodirsky:2010:FAD,% Egly:2001:PCR,% Friedman:2000:FOC,% Giordano:2009:ATC,% Leone:2006:DSK,% More:2012:CCG,% Namjoshi:2010:CCR,% Yorke-Smith:2009:CCR% }. \NAMECITE{Recall}{% Bulling:2019:RAS% }. \NAMECITE{Recognition}{% Skarlatidis:2015:PEC% }. \NAMECITE{Reconstruction}{% Rabe:2018:MTR% }. \NAMECITE{Recursion}{% Broadbent:2021:HOR,% Hague:2017:CPA,% Mamouras:2016:HLD,% Arai:2009:NFA,% Bravetti:2002:DAW,% DalLago:2009:GLH,% Kawamura:2009:DR% }. \NAMECITE{Recursive}{% Benedikt:2023:MDR,% Etessami:2012:MCR,% Shen:2008:RRL% }. \NAMECITE{Recycling}{% Lin:2007:RCA% }. \NAMECITE{Reduce}{% Neven:2018:FSM% }. \NAMECITE{Reduced}{% Newton:2019:TNA% }. \NAMECITE{Reducible}{% Aameri:2023:RTA% }. \NAMECITE{Reduction}{% Beyersdorff:2020:DQD,% Poza:2014:CRS,% Coppola:2006:OOR,% Danvy:2013:TST,% Pedicini:2007:PPE% }. \NAMECITE{reductions}{% Bryant:2001:PVU% }. \NAMECITE{redundancy}{% Voronkov:2001:HOP% }. \NAMECITE{redundant}{% Choi:2007:RPR% }. \NAMECITE{refinement}{% Bravetti:2002:DAW,% Chadha:2010:CGA,% Shoham:2007:GBF% }. \NAMECITE{Refinements}{% Nalon:2019:MRP% }. \NAMECITE{Refining}{% Goller:2014:RPR% }. \NAMECITE{Reflective}{% Basin:2004:RMF% }. \NAMECITE{Reflexive}{% Larose:2022:QRT% }. \NAMECITE{Refutation}{% Fiorentini:2020:DBU% }. \NAMECITE{Refutation-search}{% Fiorentini:2020:DBU% }. \NAMECITE{refutations}{% Impagliazzo:2006:CDF,% Subramani:2004:OLT% }. \NAMECITE{Region}{% Trybus:2016:RRB% }. \NAMECITE{Region-Based}{% Trybus:2016:RRB% }. \NAMECITE{Register}{% Quaas:2019:SDW,% Clemente:2019:BRT,% Demri:2009:LFQ% }. \NAMECITE{Regular}{% Benedikt:2009:RTL,% Gelade:2012:SCI,% Baier:2007:VNP,% Chatterjee:2009:FWR,% Legay:2010:ORM% }. \NAMECITE{{Reiterman}}{% Adamek:2021:RTF% }. \NAMECITE{Related}{% Kieronski:2018:FST,% Charlesworth:2006:CSC% }. \NAMECITE{Relating}{% Dima:2018:RPT% }. \NAMECITE{Relation}{% Komosinski:2014:IEA% }. \NAMECITE{Relational}{% Neven:2018:FSM,% Alon:2003:TXV,% VandenBussche:2007:PTI% }. \NAMECITE{Relations}{% Barcelo:2017:GLR,% Basaldella:2021:RAM,% Crafa:2015:LCB,% Eisner:2014:SLW,% Givan:2002:PTC,% Rabe:2013:LRL% }. \NAMECITE{Relative}{% Nordstrom:2012:RSP% }. \NAMECITE{Relaxation}{% Bodirsky:2022:PLV% }. \NAMECITE{Relevance}{% Aravanis:2023:GPC% }. \NAMECITE{Relevance-Sensitive}{% Aravanis:2023:GPC% }. \NAMECITE{Reliable}{% Yorke-Smith:2009:CCR% }. \NAMECITE{Removing}{% Choi:2007:RPR% }. \NAMECITE{Renaming}{% Basaldella:2021:RAM% }. \NAMECITE{replacement}{% Cook:2006:SRW% }. \NAMECITE{Representation}{% Aameri:2019:RTC,% Antoniou:2001:RRD,% Leone:2006:DSK% }. \NAMECITE{representations}{% Liberatore:2000:CCR% }. \NAMECITE{Representing}{% Molinaro:2014:SSS% }. \NAMECITE{Resolution}{% Beyersdorff:2018:SPN,% Beyersdorff:2023:HCS,% Bryant:2023:GER,% Burel:2020:LFR,% Filmus:2015:SSS,% Filmus:2023:MRS,% Khaniki:2022:PCR,% Lopes:2021:RAP,% Nalon:2019:MRP,% Nordstrom:2012:RSP,% Toran:2023:NVG,% Degtyarev:2006:MTR,% Fisher:2001:CTR,% Liberatore:2006:CRD,% Subramani:2004:OLT,% Zhang:2014:RCB% }. \NAMECITE{Resource}{% Albert:2013:IRU,% Buss:2002:RBC,% Harland:2003:RDB,% Moyen:2009:RCG% }. \NAMECITE{Resource-bounded}{% Buss:2002:RBC% }. \NAMECITE{Resource-distribution}{% Harland:2003:RDB% }. \NAMECITE{resources}{% Marion:2009:SIS% }. \NAMECITE{Restrictions}{% Amarilli:2020:FOW% }. \NAMECITE{result}{% Beyersdorff:2010:TKL% }. \NAMECITE{Results}{% Ghilardi:2023:IRA,% McIver:2007:RQC,% Antoniou:2001:RRD,% Armando:2009:NRR,% Chevalier:2008:CRS,% Cosmadakis:2010:UIR,% Dovier:2006:DRS,% Egly:2001:PCR,% Liberatore:2006:CRD,% Vennekens:2006:SOA,% Vennekens:2007:ESO% }. \NAMECITE{Revision}{% Aravanis:2023:GPC,% Wang:2015:DLO,% Liberatore:2000:CCR% }. \NAMECITE{Revisions}{% Liberatore:2023:MIR% }. \NAMECITE{revisited}{% Denecker:2001:LPR,% Friedman:2000:FOC% }. \NAMECITE{Revisiting}{% Kaminski:2002:RQA% }. \NAMECITE{Rewritability}{% Benedikt:2023:MDR% }. \NAMECITE{Rewrite}{% Goller:2014:RPR,% Radcliffe:2017:UNF,% Armando:2009:NRR,% Comon:2003:DCO,% Godoy:2004:CTR,% Lin:2007:RCA% }. \NAMECITE{rewrite-based}{% Armando:2009:NRR% }. \NAMECITE{Rewriting}{% Fairweather:2018:TNR,% Fuhs:2017:VPP,% Simonsen:2015:CRS,% Gnaedig:2009:TRU,% Ketema:2013:LUB,% Schneider-Kamp:2009:ATP,% Verma:2005:NDT% }. \NAMECITE{Rigid}{% Baader:2020:MTD,% Eberhard:2017:ACF% }. \NAMECITE{Rings}{% Klinkhamer:2019:VLF% }. \NAMECITE{Robust}{% Anevlavis:2022:BCE,% Gurfinkel:2012:RVB% }. \NAMECITE{Role}{% Artale:2023:LBC,% Barcelo:2017:GLR,% Schmidt:2014:UTD% }. \NAMECITE{{Rosser}}{% Ketema:2013:LUB% }. \NAMECITE{Rough}{% Khan:2018:SML,% Khan:2023:LTI% }. \NAMECITE{routing}{% Bistarelli:2010:UMQ% }. \NAMECITE{Rule}{% Chen:2013:CLM,% Abdennadher:2004:AGR,% Analyti:2011:MPF% }. \NAMECITE{rule-based}{% Abdennadher:2004:AGR% }. \NAMECITE{Rules}{% Betz:2013:LLB,% Ciabattoni:2016:PLS,% Ciabattoni:2018:HSR,% Ferrari:2012:SRI,% Gall:2018:OSC,% Koutsos:2021:DSS,% Leone:2019:FQA,% Bernardo:2004:SSR% }. \NAMECITE{Runtime}{% Basin:2020:RVO% }. \NAMECITE{{S4}}{% Hertling:2021:ECL% }. \NAMECITE{{S5}}{% Hertling:2021:ECL% }. \NAMECITE{Safe}{% Chalopin:2019:SPN,% Arai:2009:NFA,% Liberatore:2007:WFS% }. \NAMECITE{Safety}{% Eisner:2014:SLW,% Lazic:2011:SAA,% Lazic:2016:ZHH% }. \NAMECITE{sampling}{% Furia:2010:TSC% }. \NAMECITE{{SAT}}{% Bryant:2023:GER,% Heule:2015:SAC,% Lodha:2019:SAB,% Vukmirovic:2023:SIE% }. \NAMECITE{{SAT}-Inspired}{% Vukmirovic:2023:SIE% }. \NAMECITE{Satisfaction}{% Bodirsky:2017:CPC,% Dapic:2017:QCS,% Bodirsky:2013:CST,% Bulatov:2011:CCC,% Creignou:2010:NBC% }. \NAMECITE{Satisfiability}{% Cai:2023:LSS,% Cerrito:2015:OTM,% Cimatti:2018:ILS,% Feng:2020:MTO,% Hella:2020:SMI,% Kieronski:2018:FST,% Luck:2017:PCS,% Praveen:2013:DTH,% Shapirovsky:2022:SPS,% Armando:2009:NRR,% Bryant:2002:BST,% Cimatti:2010:EGC,% Jurdzinski:2011:AAD% }. \NAMECITE{satisfy}{% Chockler:2008:WCS,% Chockler:2010:EWC% }. \NAMECITE{Scenarios}{% Chlebowski:2017:AGE% }. \NAMECITE{{Schaefer}}{% Mahmood:2023:PCL% }. \NAMECITE{scheduling}{% Bossi:2004:TSM,% Genaim:2008:INS% }. \NAMECITE{Schemas}{% Danicic:2012:CDD% }. \NAMECITE{Schematic}{% Guidi:2022:FSU% }. \NAMECITE{Schemes}{% Broadbent:2021:HOR,% Echenim:2013:ISN,% Hague:2017:CPA,% Mamouras:2016:HLD% }. \NAMECITE{Sch{\"o}nfinkel}{% Echenim:2020:BSR% }. \NAMECITE{{SCIFF}}{% Alberti:2008:VAI% }. \NAMECITE{Search}{% Beckmann:2017:NSP,% Beyersdorff:2013:PCD,% Cai:2023:LSS,% Chlebowski:2017:AGE,% vanHentenryck:2000:SSO,% Bova:2008:PSH,% East:2006:PCB,% Fiorentini:2020:DBU,% Michel:2004:DBI,% Stone:2005:DMG,% Tiu:2010:PSS,% Voronkov:2001:HOP% }. \NAMECITE{Second}{% Elberfeld:2016:WFO,% Fijalkow:2017:MSO,% Aehlig:2005:EFS,% Beckmann:2014:IWL,% Kazana:2013:EMS,% Szeider:2011:MSO% }. \NAMECITE{Second-Order}{% Elberfeld:2016:WFO,% Fijalkow:2017:MSO,% Aehlig:2005:EFS,% Beckmann:2014:IWL,% Kazana:2013:EMS% }. \NAMECITE{Secrecy}{% Tao:2015:CFS% }. \NAMECITE{Secrecy-preserving}{% Tao:2015:CFS% }. \NAMECITE{Security}{% Chretien:2015:SPP,% Chretien:2020:TMF,% Aiello:2001:VSP,% Chevalier:2008:CRS,% Comon-Lundh:2010:DSP% }. \NAMECITE{Selection}{% Burel:2020:LFR% }. \NAMECITE{Self}{% Klinkhamer:2019:VLF% }. \NAMECITE{Self-Stabilization}{% Klinkhamer:2019:VLF% }. \NAMECITE{Semantic}{% Hannula:2018:CPL,% Takagi:2023:SAL,% Wang:2015:DLO,% Bernardo:2004:SSR,% Lahav:2013:USF,% Marion:2009:SIS,% Eiter:2011:WFS% }. \NAMECITE{Semantical}{% Eiter:2007:SCC% }. \NAMECITE{Semantics}{% Bellier:2023:GGQ,% Berthon:2021:ATA,% Dagnino:2022:MTB,% Dudenhefner:2021:KSI,% Durand:2022:TFD,% Gall:2018:OSC,% Gebser:2013:TCL,% Goranko:2018:GTS,% Gradel:2022:LMS,% Hannula:2018:HIL,% Hella:2020:SMI,% Larchey-Wendling:2013:NPS,% Zhang:2017:ELP,% Analyti:2011:MPF,% Bloom:2004:PFD,% DalLago:2009:CSL,% Danos:2002:PGS,% Eiter:2011:WFS,% Gabbrielli:2009:CSC,% Janhunen:2006:UPD,% Lonc:2003:FPC,% Loyer:2004:HBS,% Rondogiannis:2005:MMS,% Vennekens:2006:SOA,% Vennekens:2007:ESO,% Wang:2005:CCW,% Eiter:2004:LPA% }. \NAMECITE{semi}{% Bodirsky:2013:CST% }. \NAMECITE{semi-lattice}{% Bodirsky:2013:CST% }. \NAMECITE{Semicomplete}{% Dapic:2017:QCS% }. \NAMECITE{sensing}{% Iocchi:2009:RAA,% Reiter:2001:KBP% }. \NAMECITE{Sensitive}{% Aravanis:2023:GPC,% Zanardini:2014:IFS% }. \NAMECITE{Sentences}{% Podder:2022:ZOL% }. \NAMECITE{Separating}{% Demri:2016:ECS% }. \NAMECITE{Separation}{% Demri:2015:TVS,% Demri:2016:ECS,% Demri:2021:EAR,% Dongol:2016:CUC,% Echenim:2020:BSR,% Hou:2018:MLS,% Matheja:2023:DPG,% Place:2020:AST% }. \NAMECITE{sequence}{% Lynch:2005:CLR% }. \NAMECITE{sequences}{% Kjos-Hanssen:2012:ACE% }. \NAMECITE{Sequent}{% Bonatti:2002:SCP,% Hou:2018:MLS,% Lahav:2019:PSC,% Lellmann:2019:MSC,% Metcalfe:2005:SHC,% Lahav:2013:USF,% Olivetti:2007:SCT,% Santo:2011:CMS,% Voronkov:2001:HOP% }. \NAMECITE{Sequential}{% Gurevich:2000:SAS% }. \NAMECITE{sequentiality}{% Buss:2002:RBC% }. \NAMECITE{Sequents}{% Martini:2021:SLN% }. \NAMECITE{Set}{% Asuncion:2014:PFO,% Bogaerts:2016:WFS,% Bomanson:2020:AVS,% Delgrande:2013:MTA,% Gebser:2013:TCL,% Khan:2018:SML,% Khan:2023:LTI,% Koutsos:2021:DSS,% Wen:2016:MPT,% Eiter:2007:SCC,% Heymans:2008:OAS,% Oetsch:2021:BUE,% Sakama:2008:CAS,% Son:2006:DDK% }. \NAMECITE{Set-Inductions}{% Bogaerts:2016:WFS% }. \NAMECITE{Sets}{% Bova:2016:MCE,% Case:2022:IAR,% Wang:2023:WAS,% Bodirsky:2013:CST,% Dovier:2006:DRS,% Dovier:2008:UAC,% Dowek:2012:PNL,% Sakama:2005:IAS% }. \NAMECITE{Several}{% Buss:2021:LBO% }. \NAMECITE{Shallow}{% Radcliffe:2017:UNF% }. \NAMECITE{{Shoham}}{% Bresolin:2017:HFH% }. \NAMECITE{Short}{% Beyersdorff:2018:SPN% }. \NAMECITE{signed}{% Arieli:2007:PRP% }. \NAMECITE{signing}{% Kahler:2010:DSP% }. \NAMECITE{Simple}{% Beyersdorff:2018:SPN,% Hu:2022:CTV,% Khan:2018:SML% }. \NAMECITE{Simplicial}{% vandenBerg:2012:TSM% }. \NAMECITE{Simplification}{% Ferrari:2012:SRI% }. \NAMECITE{simply}{% Bossi:2004:TSM% }. \NAMECITE{simulate}{% Impagliazzo:2006:CDF% }. \NAMECITE{Simulation}{% Bustan:2003:SBM,% Hesselink:2005:EVP,% Tripakis:2009:CTB% }. \NAMECITE{Simulation-based}{% Bustan:2003:SBM% }. \NAMECITE{simulations}{% Griffioen:2004:TNS% }. \NAMECITE{Simultaneous}{% Bouhoula:2009:SCC% }. \NAMECITE{single}{% Seidl:2008:FOV% }. \NAMECITE{singleton}{% Crary:2007:SCE,% Stone:2006:EES% }. \NAMECITE{situation}{% Reiter:2001:KBP% }. \NAMECITE{Size}{% Beyersdorff:2023:HCS,% Newton:2019:TNA,% Adler:2003:LBF,% Aehlig:2002:SAN,% Galesi:2010:OSD,% Ketema:2013:LUB,% Klaedtke:2008:BAS% }. \NAMECITE{size-degree}{% Galesi:2010:OSD% }. \NAMECITE{Size-width}{% Beyersdorff:2023:HCS% }. \NAMECITE{{Skolem}}{% Avigad:2003:EDS,% Biscaia:2015:DAS% }. \NAMECITE{Slicing}{% Mastroeni:2017:APS% }. \NAMECITE{Small}{% DeHaan:2017:PCF,% Filmus:2015:SSS,% Krajicek:2021:SCD,% Blass:2006:OIS,% Blass:2007:OISa,% Blass:2007:OISb% }. \NAMECITE{small-step}{% Blass:2006:OIS,% Blass:2007:OISa,% Blass:2007:OISb% }. \NAMECITE{{SMT}}{% Borralleras:2019:IST% }. \NAMECITE{Social}{% Shakarian:2013:UGA% }. \NAMECITE{societies}{% Artikis:2009:SNG% }. \NAMECITE{Soft}{% Bistarelli:2006:SCC,% Bistarelli:2010:UMQ% }. \NAMECITE{soft-constraint}{% Bistarelli:2010:UMQ% }. \NAMECITE{software}{% Charlesworth:2006:CSC% }. \NAMECITE{Solutions}{% Molinaro:2014:SSS,% Sangiorgi:2017:ECU% }. \NAMECITE{Solvable}{% Bodirsky:2022:PLV% }. \NAMECITE{Solve}{% Shakarian:2013:UGA% }. \NAMECITE{Solver}{% Bryant:2023:GER% }. \NAMECITE{solvers}{% Abdennadher:2004:AGR% }. \NAMECITE{Solving}{% Borralleras:2019:IST,% Schockaert:2012:FEL,% Benhamou:2004:ICS,% Dovier:2008:UAC,% East:2006:PCB,% Korovin:2005:KBC,% Ratschan:2004:CAS,% Ratschan:2006:ESQ% }. \NAMECITE{Some}{% Garlik:2018:SSC,% Ignjatovic:2004:SAL% }. \NAMECITE{Sound}{% Atserias:2023:CYS,% Bonsangue:2013:SCA,% Crary:2007:SCE,% Koutsos:2021:DSS,% Schellhorn:2014:SCP,% Arthan:2009:GFS% }. \NAMECITE{Space}{% Filmus:2015:SSS% }. \NAMECITE{Spaces}{% Hertling:2021:ECL,% Kontchakov:2013:TLC,% Kutz:2003:LMS% }. \NAMECITE{spatio}{% Geerts:2008:FOC% }. \NAMECITE{spatio-temporal}{% Geerts:2008:FOC% }. \NAMECITE{Spawns}{% Chen:2017:OHS% }. \NAMECITE{Special}{% Chalopin:2019:SPN,% Gradel:2003:LSI,% Kaminski:2010:CSI,% Kolaitis:2005:LSI,% Baillot:2009:GES% }. \NAMECITE{specification}{% Chockler:2008:WCS,% Chockler:2010:EWC,% Tucker:2002:ACA% }. \NAMECITE{Specifications}{% Boker:2014:TSA,% Bouhoula:2009:SCC,% Hesselink:2005:EVP,% Samer:2010:DLS,% Tiu:2010:PSS% }. \NAMECITE{specified}{% Lynch:2005:CLR% }. \NAMECITE{Specifying}{% Artikis:2009:SNG% }. \NAMECITE{Spectra}{% Kopczynski:2015:VHF% }. \NAMECITE{Splittable}{% Tubella:2018:SPS% }. \NAMECITE{Splitting}{% Vennekens:2006:SOA,% Vennekens:2007:ESO% }. \NAMECITE{{SSReflect}}{% Heras:2013:CPH% }. \NAMECITE{{ST}}{% Bravetti:2002:DAW% }. \NAMECITE{Stability}{% Leino:2015:APS% }. \NAMECITE{Stabilization}{% Klinkhamer:2019:VLF% }. \NAMECITE{Stable}{% Zhang:2017:ELP,% Janhunen:2006:UPD% }. \NAMECITE{standard}{% Olivetti:2007:SCT% }. \NAMECITE{State}{% Goncharov:2020:TUT,% Neven:2018:FSM,% Blass:2003:ASM,% Blass:2008:ASM,% Eiter:2004:LPA,% Engelfriet:2001:MDS,% Gurevich:2000:SAS,% Murawski:2005:AUP,% Neven:2004:FSM% }. \NAMECITE{{Statecharts}}{% Luttgen:2002:IBS% }. \NAMECITE{static}{% Marion:2009:SIS% }. \NAMECITE{Statistical}{% Daca:2017:FSM% }. \NAMECITE{Step}{% Simonsen:2015:CRS,% Blass:2006:OIS,% Blass:2007:OISa,% Blass:2007:OISb,% Dagnino:2022:MTB% }. \NAMECITE{steps}{% Luttgen:2002:IBS% }. \NAMECITE{{STGLAs}}{% Bernardo:2004:SSR% }. \NAMECITE{Stochastic}{% Chatterjee:2014:POS,% Huang:2019:RAC,% Bryans:2003:MCS% }. \NAMECITE{Strategic}{% Bouyer:2023:RAQ,% Bulling:2019:RAS,% Deuser:2021:SKA,% Marchioni:2015:LGL,% Goranko:2009:TBD% }. \NAMECITE{Strategies}{% Chatzikokolakis:2012:ESG,% Mogavero:2014:RAS,% Gnaedig:2009:TRU,% Michel:2004:DBI,% vanHentenryck:2000:SSO% }. \NAMECITE{Strategy}{% Berthon:2021:SLI,% Carayol:2020:HGS,% Huang:2018:ESL,% Poza:2014:CRS,% Simonsen:2015:CRS,% Kahler:2010:DSP% }. \NAMECITE{Stratification}{% Bogaerts:2021:SAF% }. \NAMECITE{Streams}{% Basin:2020:RVO,% Saurin:2010:TSC% }. \NAMECITE{Strength}{% Eisner:2014:SLW,% Nordstrom:2012:RSP,% Cook:2006:SRW% }. \NAMECITE{Strict}{% Hella:2020:SMI,% VanBakel:2018:CNP,% Momigliano:2003:HOP% }. \NAMECITE{string}{% Engelfriet:2001:MDS% }. \NAMECITE{strings}{% Neven:2004:FSM% }. \NAMECITE{Strong}{% Bomanson:2020:AVS% }. \NAMECITE{Strongly}{% Lifschitz:2001:SEL% }. \NAMECITE{Structural}{% Ciabattoni:2016:PLS,% Keiren:2012:SAB,% Simmons:2014:SF,% Lahav:2013:USF% }. \NAMECITE{structure}{% Burger:2011:SIS,% Guglielmi:2007:SIS% }. \NAMECITE{Structured}{% Ahmetaj:2017:MCG,% Goldblatt:2012:WSP% }. \NAMECITE{Structures}{% Eickmeyer:2017:SOI,% Eickmeyer:2020:MCO,% Novakovic:2015:PSC,% Schellhorn:2014:SCP,% Durand:2007:FOQ,% Gottlob:2010:MDF% }. \NAMECITE{Stuttering}{% Groote:2017:ACS% }. \NAMECITE{style}{% Britz:2021:PKS,% Guerrini:2009:PTC% }. \NAMECITE{Subatomic}{% Barrett:2022:SPS,% Tubella:2018:SPS% }. \NAMECITE{Subcube}{% Filmus:2023:MRS% }. \NAMECITE{Subgraph}{% Verbitsky:2019:TBA% }. \NAMECITE{Subset}{% Hertling:2021:ECL% }. \NAMECITE{Subsets}{% DeHaan:2017:PCF% }. \NAMECITE{Substitution}{% Novakovic:2015:PSC,% Pientka:2009:HOT% }. \NAMECITE{Substructural}{% Kozen:2003:SLP% }. \NAMECITE{Substructures}{% Benerecetti:2015:RAS% }. \NAMECITE{Subsystems}{% Garlik:2018:SSC% }. \NAMECITE{Successor}{% Place:2020:AST% }. \NAMECITE{Succinctly}{% Molinaro:2014:SSS% }. \NAMECITE{Succinctness}{% Eickmeyer:2017:SOI,% Gelade:2012:SCI% }. \NAMECITE{Sums}{% Filmus:2023:MRS,% Shapirovsky:2022:SPS% }. \NAMECITE{Sup}{% Marion:2009:SIS% }. \NAMECITE{Sup-interpretations}{% Marion:2009:SIS% }. \NAMECITE{Super}{% Brass:2004:SLP,% Molinaro:2014:SSS% }. \NAMECITE{Super-Solutions}{% Molinaro:2014:SSS% }. \NAMECITE{Superposition}{% Horbach:2010:SFD,% Vukmirovic:2023:SIE% }. \NAMECITE{Support}{% Chen:2013:CLM% }. \NAMECITE{suspension}{% Genaim:2008:INS% }. \NAMECITE{Switchability}{% Carvalho:2023:CQC% }. \NAMECITE{Symbolic}{% Bana:2020:VMC,% Bernardo:2004:SSR,% Feng:2014:SBQ,% Henzinger:2005:CST% }. \NAMECITE{Symbols}{% Calautti:2017:DDC,% Eiter:2010:FDN% }. \NAMECITE{Symmetric}{% Dawar:2022:SCR% }. \NAMECITE{Synchronizing}{% Quaas:2019:SDW% }. \NAMECITE{Syntactic}{% Chen:2022:SCP,% Danvy:2013:TST% }. \NAMECITE{syntactical}{% Aehlig:2002:SAN% }. \NAMECITE{Syntax}{% Binnewies:2018:SPB,% McDowell:2002:RHO% }. \NAMECITE{Syntax-Preserving}{% Binnewies:2018:SPB% }. \NAMECITE{Synthesis}{% Cerrito:2015:OTM,% Gastin:2013:FSA,% Neider:2018:CSP% }. \NAMECITE{System}{% Barrett:2022:SPS,% Guidi:2022:FSU,% Simonsen:2015:CRS,% Burger:2011:SIS,% Chockler:2008:WCS,% Chockler:2010:EWC,% Guglielmi:2007:SIS,% Guidi:2009:FS,% Leone:2006:DSK% }. \NAMECITE{Systems}{% Almagor:2022:MID,% Ardeshir-Larijani:2018:AEC,% Bozzelli:2023:ITL,% Ciabattoni:2018:HSR,% Clemente:2019:BRT,% Crafa:2015:LCB,% Dima:2018:RPT,% Etessami:2012:MCR,% Felgenhauer:2015:LSP,% Gastin:2013:FSA,% Ghafari:2012:RPP,% Goller:2014:RPR,% Huang:2019:RAC,% Keiren:2012:SAB,% Khan:2023:LTI,% Radcliffe:2017:UNF,% Schwartz:2015:DRS,% Tubella:2018:SPS,% Ying:2014:MCL,% Baier:2007:VNP,% Comon:2003:DCO,% Godoy:2004:CTR,% Goranko:2009:TBD,% Henzinger:2005:CST,% Impagliazzo:2006:CDF,% Khan:2011:LIS,% Lahav:2013:USF,% Lin:2007:RCA,% Lomuscio:2000:KMS,% Verma:2005:NDT% }. \NAMECITE{Tableau}{% Cerrito:2015:OTM,% Gebser:2013:TCL,% Giordano:2009:TCP,% Goranko:2009:TBD,% Schmidt:2014:UTD% }. \NAMECITE{Tableau-based}{% Goranko:2009:TBD% }. \NAMECITE{Tableaux}{% Ferrari:2012:SRI,% Giordano:2009:ATC% }. \NAMECITE{tabling}{% Verbaeten:2001:TPL% }. \NAMECITE{Taming}{% Ciabattoni:2015:TPO,% Furusawa:2016:TM% }. \NAMECITE{Tautologies}{% Carlucci:2016:PCP% }. \NAMECITE{Team}{% Durand:2022:TFD,% Hannula:2018:CPL% }. \NAMECITE{Technique}{% Schellhorn:2014:SCP,% Verma:2005:NDT% }. \NAMECITE{Techniques}{% Borralleras:2019:IST% }. \NAMECITE{Temporal}{% Anevlavis:2022:BCE,% Artale:2014:CTC,% Baader:2020:MTD,% Balbiani:2020:ILT,% Boker:2014:TSA,% Bozzelli:2019:IVP,% Bozzelli:2023:ITL,% Bresolin:2017:HFH,% Cerrito:2015:OTM,% Daca:2017:FSM,% Enqvist:2022:TLC,% Frigeri:2014:FTL,% Goranko:2018:GTS,% Gurfinkel:2012:RVB,% Hampson:2015:UPB,% Khan:2023:LTI,% Lazic:2016:ZHH,% Luck:2017:PCS,% Molinaro:2014:SSS,% Shakarian:2012:APT,% Takagi:2023:SAL,% VanDerMeyden:2020:UCM,% Alur:2001:PTL,% Bodirsky:2010:FAD,% Degtyarev:2006:MTR,% Dix:2006:HTP,% Fisher:2001:CTR,% Furia:2010:TSC,% Gaintzarain:2013:LFM,% Geerts:2008:FOC,% Shakarian:2011:APT,% Zhang:2014:RCB% }. \NAMECITE{Tense}{% Ciabattoni:2021:DLP% }. \NAMECITE{Term}{% Padmanabha:2023:DFF,% Radcliffe:2017:UNF,% Comon:2003:DCO,% Godoy:2004:CTR,% Ketema:2013:LUB,% Pientka:2009:HOT,% Rybina:2001:DPT,% Schneider-Kamp:2009:ATP,% Verma:2005:NDT% }. \NAMECITE{Terminating}{% Riguzzi:2014:TEL% }. \NAMECITE{Termination}{% Bossi:2004:TSM,% Gnaedig:2009:TRU,% Jouannaud:2015:NHO,% Verbaeten:2001:TPL,% Blass:2008:PTW,% Mesnard:2003:PLT,% Schneider-Kamp:2009:ATP,% Shen:2003:DAC% }. \NAMECITE{Terms}{% Lescanne:2018:QAL,% Dowek:2012:PNL,% Gascon:2011:UMC,% Santo:2011:CMS% }. \NAMECITE{Testers}{% Adler:2023:FPT% }. \NAMECITE{Testing}{% Baxter:2023:TUC,% Cavalcanti:2020:IOC,% Cerrito:2015:OTM,% Laplante:2007:PAM% }. \NAMECITE{tests}{% Guerrini:2009:PTC,% Kozen:2000:HLK% }. \NAMECITE{their}{% Afrati:2005:DPT,% Cosmadakis:2010:UIR,% Khan:2011:LIS% }. \NAMECITE{Theorem}{% Aameri:2019:RTC,% Adamek:2019:GET,% McKinley:2013:PNH,% Place:2020:AST,% Avigad:2007:FVP,% Billington:2010:ITD,% Olivetti:2007:SCT,% Adamek:2021:RTF,% Nguyen:2012:CPD% }. \NAMECITE{Theoretic}{% Delgrande:2013:MTA,% Goranko:2018:GTS,% Hu:2022:CTV% }. \NAMECITE{Theoretical}{% Newton:2019:TNA% }. \NAMECITE{Theories}{% Aameri:2023:RTA,% Cai:2023:LSS,% Echenim:2013:ISN,% Goller:2015:CDM,% Lumsdaine:2015:LUM,% Ponomaryov:2017:PDL,% Sebastiani:2015:OMT,% Bruttomesso:2014:QFI,% Cadoli:2005:CPN,% Cimatti:2010:EGC,% Danvy:2013:TST,% DeGiacomo:2001:IEG,% Makino:2012:DII% }. \NAMECITE{Theory}{% Bogaerts:2021:SAF,% Bonchi:2014:GTB,% Cavalcanti:2020:IOC,% Cohen:2020:NWF,% Goncharov:2020:TUT,% Khan:2023:LTI,% Krajicek:2021:SCD,% Kramer:2015:LII,% Rabe:2015:LTM,% Sojakova:2016:ETP,% Adams:2010:WPC,% Blass:2011:PQB,% Dagnino:2022:MTB,% Dyckhoff:2013:APT,% Furia:2010:TSC,% Griffioen:2004:TNS,% Harper:2005:ECF,% Mielniczuk:2004:BTF,% Miller:2005:PTG,% Nanevski:2008:CMT,% Sergot:2001:CTN% }. \NAMECITE{there}{% Lifschitz:2006:WTM% }. \NAMECITE{Three}{% Danvy:2013:TST,% Riguzzi:2014:TEL% }. \NAMECITE{Three-Valued}{% Riguzzi:2014:TEL% }. \NAMECITE{Tight}{% Boker:2012:TCB,% Verbitsky:2019:TBA,% Beyersdorff:2010:TKL% }. \NAMECITE{Time}{% Almagor:2022:MID,% Baxter:2023:TUC,% Cerrito:2015:OTM,% Frigeri:2014:FTL,% Goranko:2018:GTS,% Pakusa:2018:DCF,% Ying:2014:MCL,% Aehlig:2002:SAN,% Aziz:2000:MCC,% Baier:2007:VNP,% Chen:2013:VLD,% Furia:2010:TSC,% Givan:2002:PTC,% Gottlob:2002:DLD,% Krajicek:2021:SCD,% Kupferman:2005:LTB,% Zhang:2014:RCB,% Lutz:2004:NTC% }. \NAMECITE{{TIME}-complete}{% Lutz:2004:NTC% }. \NAMECITE{Timed}{% Clemente:2019:BRT,% Herbreteau:2020:WLT,% Menghi:2020:MCM,% Bruyere:2008:DPM,% DeBoer:2004:PCT,% Lasota:2008:ATA,% Tripakis:2009:CTB% }. \NAMECITE{Timed-register}{% Clemente:2019:BRT% }. \NAMECITE{Tool}{% Baudet:2013:YGT% }. \NAMECITE{Topological}{% Eisner:2014:SLW,% Kontchakov:2013:TLC,% Salibra:2003:TIO,% vandenBerg:2012:TSM,% Fernandez-Duque:2014:NFA,% Grohe:2002:FOT% }. \NAMECITE{Torus}{% Sojakova:2016:ETP% }. \NAMECITE{Tournaments}{% Larose:2022:QRT% }. \NAMECITE{tower}{% Atserias:2014:DLB% }. \NAMECITE{tower-type}{% Atserias:2014:DLB% }. \NAMECITE{{TPTL}}{% Feng:2020:MTO% }. \NAMECITE{trace}{% Bloom:2004:PFD% }. \NAMECITE{Tractability}{% Durand:2022:TFD,% Bauland:2011:TMC,% Bodirsky:2013:CST% }. \NAMECITE{tradeoffs}{% Galesi:2010:OSD% }. \NAMECITE{Transcendental}{% Cimatti:2018:ILS% }. \NAMECITE{transducers}{% Engelfriet:2001:MDS% }. \NAMECITE{transductions}{% Engelfriet:2001:MDS% }. \NAMECITE{Transfer}{% Kramer:2015:LII,% Place:2020:AST% }. \NAMECITE{transformation}{% Lavrac:2001:ETA% }. \NAMECITE{Transformations}{% Bomanson:2020:AVS% }. \NAMECITE{Transition}{% Crafa:2015:LCB,% Dima:2018:RPT,% Wen:2016:MPT,% Henzinger:2005:CST% }. \NAMECITE{Transitive}{% Cohen:2020:NWF,% Kieronski:2018:FST% }. \NAMECITE{transitivity}{% Bryant:2002:BST% }. \NAMECITE{Translating}{% Boker:2012:TCB% }. \NAMECITE{Translation}{% Gall:2018:OSC,% Schmidt:2007:ATP% }. \NAMECITE{Tree}{% Benedikt:2016:LUO,% Benedikt:2020:MDT,% Berthon:2021:ATA,% Eberhard:2017:ACF,% Goller:2014:RPR,% Benedikt:2009:RTL,% Bianco:2012:GCT,% Subramani:2004:OLT% }. \NAMECITE{tree-like}{% Subramani:2004:OLT% }. \NAMECITE{Trees}{% Barrett:2022:SPS,% Benaim:2016:CTV,% Carayol:2014:RAI,% Carayol:2015:ERA,% Charatonik:2016:TVL,% Geneves:2015:EDC,% Kartzow:2013:FOL,% Benedikt:2007:LDQ,% Jurdzinski:2011:AAD,% Kazana:2013:EMS,% Khoussainov:2005:ALO,% Mielniczuk:2004:BTF,% Pientka:2009:HOT,% Tan:2014:ETV% }. \NAMECITE{Treewidth}{% Praveen:2013:DTH,% Gottlob:2010:MDF% }. \NAMECITE{True}{% Baldan:2020:MCL% }. \NAMECITE{Truly}{% Bulling:2019:RAS% }. \NAMECITE{Trust}{% Huang:2019:RAC% }. \NAMECITE{{Twelf}}{% Crary:2008:FCC% }. \NAMECITE{Two}{% Aceto:2022:TBO,% Benaim:2016:CTV,% Bojanczyk:2011:TVL,% Charatonik:2016:TVL,% Demri:2015:TVS,% Demri:2016:ECS,% Kieronski:2018:FST,% Krebs:2017:ECA,% Padmanabha:2023:DFF,% Sojakova:2016:ETP,% Buss:2002:RBC,% Engelfriet:2001:MDS,% Tan:2014:ETV% }. \NAMECITE{Two-Variable}{% Benaim:2016:CTV,% Charatonik:2016:TVL,% Demri:2015:TVS,% Kieronski:2018:FST,% Krebs:2017:ECA,% Bojanczyk:2011:TVL,% Tan:2014:ETV% }. \NAMECITE{two-way}{% Engelfriet:2001:MDS% }. \NAMECITE{Typal}{% Pitts:2020:THE% }. \NAMECITE{Type}{% Lumsdaine:2015:LUM,% Rabe:2018:MTR,% Sojakova:2016:ETP,% Adams:2010:WPC,% Atserias:2014:DLB,% Buneman:2003:IBP,% Buss:2002:RBC,% Coppola:2006:OOR,% Dezani-Ciancaglini:2003:CCC,% Harper:2005:ECF,% Nanevski:2008:CMT,% VandenBussche:2007:PTI% }. \NAMECITE{type-two}{% Buss:2002:RBC% }. \NAMECITE{Typechecking}{% Alon:2003:TXV% }. \NAMECITE{Typed}{% Bono:2002:TIE,% Fairweather:2018:TNR% }. \NAMECITE{Types}{% Asperti:2015:CCF,% Hu:2022:CTV,% Montenegro:2020:ELT,% Pitts:2020:THE,% VanBakel:2018:CNP,% VanDenBerg:2018:PCP,% vandenBerg:2012:TSM,% Dezani-Ciancaglini:2010:IIT,% Ignjatovic:2004:SAL,% Stone:2006:EES% }. \NAMECITE{Typing}{% Chretien:2020:TMF,% Saurin:2010:TSC% }. \NAMECITE{ugly}{% Bauland:2011:TMC% }. \NAMECITE{Unbounded}{% Daca:2017:FSM% }. \NAMECITE{Uncertain}{% Fan:2020:RMB,% Su:2017:PJL% }. \NAMECITE{uncertainty}{% Iocchi:2009:RAA% }. \NAMECITE{Undecidability}{% Cosmadakis:2010:UIR,% Larchey-Wendling:2013:NPS,% Wolter:2008:UUA,% Murawski:2005:AUP% }. \NAMECITE{Undecidable}{% Hampson:2015:UPB,% Kuznetsov:2021:ALU,% VanDerMeyden:2020:UCM,% Goldblatt:2012:WSP% }. \NAMECITE{Underlying}{% Eisner:2014:SLW% }. \NAMECITE{Unfolding}{% Janhunen:2006:UPD% }. \NAMECITE{Unicast}{% Bistarelli:2010:UMQ% }. \NAMECITE{Unification}{% Gascon:2011:UMC,% Levy:2012:NUH,% Cerna:2020:IAU,% Sofronie-Stokkermans:2007:UBD,% Wolter:2008:UUA% }. \NAMECITE{Unified}{% Boker:2012:TCB,% Lahav:2013:USF% }. \NAMECITE{Uniform}{% Goncharov:2020:TUT,% Oetsch:2021:BUE,% Dovier:2008:UAC% }. \NAMECITE{Unifying}{% Doherty:2022:UOW,% Dongol:2016:CUC% }. \NAMECITE{Uninterpreted}{% Echenim:2020:BSR,% Bryant:2001:PVU% }. \NAMECITE{Union}{% Geck:2019:PCC% }. \NAMECITE{Unique}{% Sangiorgi:2017:ECU% }. \NAMECITE{Uniqueness}{% Radcliffe:2017:UNF% }. \NAMECITE{unit}{% Hughes:2005:PNU% }. \NAMECITE{unit-free}{% Hughes:2005:PNU% }. \NAMECITE{{UNITY}}{% Paulson:2000:MUI% }. \NAMECITE{Univalent}{% Kraus:2015:HHH% }. \NAMECITE{Universal}{% Barthe:2022:UEM,% Guidi:2022:FSU,% Krajicek:2021:SCD% }. \NAMECITE{Universes}{% Kraus:2015:HHH,% Lumsdaine:2015:LUM% }. \NAMECITE{Unprovability}{% Fiorentini:2020:DBU% }. \NAMECITE{unranked}{% Benedikt:2007:LDQ% }. \NAMECITE{Unsatisfiable}{% DeHaan:2017:PCF% }. \NAMECITE{Until}{% Benedikt:2016:LUO% }. \NAMECITE{Update}{% Herzig:2013:PUO% }. \NAMECITE{Updates}{% Conradie:2019:PEU,% Zhang:2006:LPB% }. \NAMECITE{Upper}{% Albert:2013:IRU,% Ketema:2013:LUB% }. \NAMECITE{Usage}{% Albert:2013:IRU% }. \NAMECITE{Useful}{% Boker:2012:TCB% }. \NAMECITE{Using}{% Ahmetaj:2017:MCG,% Anevlavis:2022:BCE,% Cabrer:2019:CAU,% Komosinski:2014:IEA,% Schmidt:2014:UTD,% Shakarian:2013:UGA,% Son:2014:FNU,% Baxter:2023:TUC,% Bryant:2001:PVU,% Pientka:2009:HOT,% VanBakel:2018:CNP% }. \NAMECITE{Vacuity}{% Gurfinkel:2012:RVB% }. \NAMECITE{Validity}{% Benedikt:2020:MDT% }. \NAMECITE{value}{% Bernardo:2004:SSR% }. \NAMECITE{Valued}{% Bodirsky:2022:PLV,% Riguzzi:2014:TEL,% Shoham:2007:GBF% }. \NAMECITE{Values}{% Boker:2014:TSA,% Tan:2014:ETV% }. \NAMECITE{Variable}{% Benaim:2016:CTV,% Berkholz:2015:BQD,% Charatonik:2016:TVL,% Demri:2015:TVS,% Hampson:2015:UPB,% Kieronski:2018:FST,% Kopczynski:2015:VHF,% Krebs:2017:ECA,% Libkin:2003:VIF,% Padmanabha:2023:DFF,% Bojanczyk:2011:TVL,% Seidl:2008:FOV,% Tan:2014:ETV% }. \NAMECITE{Variables}{% Demri:2016:ECS,% Guidi:2022:FSU,% Toran:2023:NVG,% Crolard:2009:ELL,% Hesselink:2005:EVP% }. \NAMECITE{Variants}{% Kieronski:2018:FST% }. \NAMECITE{Variation}{% Adler:2023:FPT% }. \NAMECITE{Varieties}{% Adamek:2019:GET% }. \NAMECITE{{VASS}}{% Lazic:2015:NCB% }. \NAMECITE{Vector}{% Clemente:2019:BRT% }. \NAMECITE{Verifiable}{% Alberti:2008:VAI% }. \NAMECITE{Verification}{% Anevlavis:2022:BCE,% Bana:2020:VMC,% Basin:2020:RVO,% Biscaia:2015:DAS,% Chadha:2016:AVE,% Chen:2013:VLD,% Cimatti:2018:ILS,% Doherty:2022:UOW,% Feng:2022:VDQ,% Klinkhamer:2019:VLF,% Li:2018:APA,% Bryant:2001:PVU,% Murawski:2006:FVM% }. \NAMECITE{verified}{% Avigad:2007:FVP% }. \NAMECITE{Verifying}{% Aiello:2001:VSP,% Baier:2007:VNP,% Fuhs:2017:VPP,% Seidl:2008:FOV% }. \NAMECITE{versus}{% Tucker:2004:AVC% }. \NAMECITE{Via}{% Asperti:2015:CCF,% Ben-Sasson:2010:LBB,% Fuhs:2017:VPP,% Givan:2002:PTC,% Goller:2014:RPR,% Hamano:2018:GIM,% Harland:2003:RDB,% Kjos-Hanssen:2012:ACE,% Murawski:2006:FVM% }. \NAMECITE{View}{% Blondin:2017:LVC,% Hu:2022:CTV% }. \NAMECITE{Views}{% Benedikt:2023:MDR,% Alon:2003:TXV,% Bailey:2010:LQV% }. \NAMECITE{Visible}{% Benedikt:2021:IVI,% Bomanson:2020:AVS% }. \NAMECITE{Visibly}{% Bozzelli:2023:ITL,% Friedmann:2015:RBI% }. \NAMECITE{vs}{% Bozzelli:2019:IVP% }. \NAMECITE{way}{% Engelfriet:2001:MDS% }. \NAMECITE{Weak}{% Carreiro:2020:PW,% Doherty:2022:UOW,% Krajicek:2021:SCD,% Kupferman:2001:WAA,% Bravetti:2002:DAW,% Cook:2006:SRW% }. \NAMECITE{Weakness}{% Eisner:2014:SLW% }. \NAMECITE{{Web}}{% Analyti:2011:MPF,% Eiter:2011:WFS% }. \NAMECITE{Weighted}{% Avni:2015:PWC,% Bollig:2014:PWA,% Chatterjee:2017:NWA% }. \NAMECITE{Well}{% Bogaerts:2016:WFS,% Eiter:2011:WFS,% Goldblatt:2012:WSP,% Blass:2008:PTW,% Cohen:2020:NWF,% Wang:2005:CCW% }. \NAMECITE{Well-Founded}{% Bogaerts:2016:WFS,% Eiter:2011:WFS,% Wang:2005:CCW% }. \NAMECITE{Well-structured}{% Goldblatt:2012:WSP% }. \NAMECITE{{Weyl}}{% Adams:2010:WPC% }. \NAMECITE{Where}{% Elberfeld:2016:WFO,% Liberatore:2007:WFS% }. \NAMECITE{Width}{% Filmus:2015:SSS,% Grohe:2023:CDG,% Heule:2015:SAC,% Beyersdorff:2023:HCS% }. \NAMECITE{Win}{% Chatterjee:2014:POS% }. \NAMECITE{winning}{% Chatterjee:2009:FWR% }. \NAMECITE{Wise}{% Neider:2018:CSP% }. \NAMECITE{within}{% Creignou:2016:BMW,% Heras:2013:CPH% }. \NAMECITE{without}{% Artale:2023:LBC,% Madelaine:2012:CPF% }. \NAMECITE{Witnesses}{% Wang:2023:WAS% }. \NAMECITE{witnessing}{% Beckmann:2014:IWL% }. \NAMECITE{Word}{% Barcelo:2017:GLR% }. \NAMECITE{Words}{% Quaas:2019:SDW,% Bojanczyk:2011:TVL,% Lazic:2011:SAA% }. \NAMECITE{world}{% Amarilli:2020:FOW% }. \NAMECITE{Worst}{% Newton:2019:TNA% }. \NAMECITE{Worst-Case}{% Newton:2019:TNA% }. \NAMECITE{{XML}}{% Alon:2003:TXV,% Hung:2007:PIX% }. \NAMECITE{{XPath}}{% Figueira:2012:DDX,% Jurdzinski:2011:AAD% }. \NAMECITE{{YAPA}}{% Baudet:2013:YGT% }. \NAMECITE{{Zeno}}{% Lazic:2016:ZHH% }. \NAMECITE{Zero}{% Podder:2022:ZOL% }.