%%====================================================================== %% 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 May 2 08:57:04 MDT 2023 %%====================================================================== \ifx \NAMECITE \undefined % User can override this definition \def \NAMECITE #1#2{{\bf #1} \cite{#2}} \fi \NAMECITE{$ (g, d, k)$}{% Lin:2020:CCC% }. \NAMECITE{\$-Calculus}{% Eberbach:2022:CCM% }. \NAMECITE{$1$}{% Raghu:2020:DNF% }. \NAMECITE{$b$}{% Tredup:2021:CSB% }. \NAMECITE{$ \cal D L $}{% Cantone:2020:STA,% Cantone:2021:ISB% }. \NAMECITE{$ \cal S $}{% Alberti:2020:DOC% }. \NAMECITE{$e$}{% Lin:2020:DFG% }. \NAMECITE{$k$}{% Catalano:2021:LBR,% Klopotek:2020:CMA% }. \NAMECITE{$ K_4$}{% Lin:2020:DFG% }. \NAMECITE{$ L_1 $}{% Presotto:2020:MSR% }. \NAMECITE{$ \mathbb {A}_n $}{% Gonzalez:2021:GTF% }. \NAMECITE{$ \mathbb {A}_r $}{% Gonzalez:2022:CIN% }. \NAMECITE{$ \mathbb {K} $}{% Alpuente:2020:ACS% }. \NAMECITE{$q$}{% Bera:2020:CPM% }. \NAMECITE{$t$}{% Baca:2022:LAV% }. \NAMECITE{$ T_1 $}{% Beirinckx:2020:JML% }. \NAMECITE{$ \times $}{% Cantone:2020:STA,% Cantone:2021:ISB% }. \NAMECITE{-ary}{% Baca:2022:LAV% }. \NAMECITE{-Bounded}{% Tredup:2021:CSB% }. \NAMECITE{-Connectivity}{% Lin:2020:CCC% }. \NAMECITE{-edge-Connectivity}{% Lin:2020:CCC% }. \NAMECITE{-exhaustions}{% Wehler:2021:PFC% }. \NAMECITE{-Fault}{% Raghu:2020:DNF% }. \NAMECITE{{}-free}{% Lin:2020:DFG% }. \NAMECITE{-Matrices}{% Bera:2020:CPM% }. \NAMECITE{-means}{% Klopotek:2020:CMA% }. \NAMECITE{-rendezvous}{% Catalano:2021:LBR% }. \NAMECITE{{1966}}{% Gurevich:2022:ICM% }. \NAMECITE{2-domination}{% Garzon:2022:DNC% }. \NAMECITE{Aalst}{% Wehler:2021:PFC% }. \NAMECITE{Abstract}{% Alpuente:2020:ACS% }. \NAMECITE{Abstraction}{% Amat:2022:PAP,% Cassez:2021:VPS,% Wallner:2022:SAU% }. \NAMECITE{Accepted}{% Dobronravov:2021:LSS,% Wang:2021:LAW% }. \NAMECITE{Accessibility}{% Diaconescu:2020:MEB% }. \NAMECITE{{Ackermann}}{% Sureson:2021:IAF% }. \NAMECITE{Action}{% Tzacheva:2020:ARL% }. \NAMECITE{Actions}{% Valmari:2021:SSF% }. \NAMECITE{Active}{% Jin:2021:TFS% }. \NAMECITE{Activity}{% Presotto:2020:MSR% }. \NAMECITE{Actors}{% Albert:2020:FRC% }. \NAMECITE{Acyclic}{% Barylska:2021:ACR% }. \NAMECITE{Adaptive}{% Macyna:2022:AMP,% Paduraru:2020:AVO% }. \NAMECITE{Adding}{% Costantini:2021:AMF% }. \NAMECITE{Addition}{% Bes:2022:DDI% }. \NAMECITE{Additional}{% Dangalchev:2020:ACN% }. \NAMECITE{Address}{% Mrozek:2022:UAS% }. \NAMECITE{Affine}{% Allamigeon:2021:PAD,% Arnold:2022:ACS% }. \NAMECITE{Again}{% Danvy:2022:GTB% }. \NAMECITE{agent}{% Arcile:2020:DEM% }. \NAMECITE{Aggregated}{% Keikha:2021:CGM% }. \NAMECITE{Aggregates}{% Alviano:2020:UCA% }. \NAMECITE{Aggregation}{% Lee:2022:IUB% }. \NAMECITE{Algebra}{% Bergstra:2021:UHL,% Brodo:2020:VTN,% Lin:2021:RAS% }. \NAMECITE{Algebraic}{% Baioletti:2020:ECA,% Gastin:2021:RRL,% Ghosal:2020:PPS,% Lin:2021:RAS% }. \NAMECITE{Algebras}{% Arnold:2022:ACS,% Dowbor:2020:CCT% }. \NAMECITE{Algorithm}{% Fajardo:2021:RBA,% Kheirfam:2020:NPC,% Lin:2022:LDA,% Klopotek:2020:CMA% }. \NAMECITE{Algorithmic}{% Devillers:2022:SBT% }. \NAMECITE{Algorithms}{% Borger:2020:BTR,% Chehreghani:2021:EAA,% Cho:2020:AGN,% Eberbach:2022:CCM,% Fruhwirth:2020:JCH,% Jastrzab:2021:PAM,% Kaniecki:2020:CAB,% Kuperberg:2021:CAB,% Lagerwerf:2020:EIA,% Nguyen:2021:EAM% }. \NAMECITE{Allowing}{% Devillers:2022:SBT% }. \NAMECITE{Alternative}{% Wronski:2021:HDC% }. \NAMECITE{Analyses}{% Andre:2021:PAA% }. \NAMECITE{Analysis}{% Alviano:2020:UCA,% Andre:2021:PSA,% Barbuti:2021:ETB,% Cho:2020:AGN,% Tarzariol:2020:TLP,% Wang:2021:CDF% }. \NAMECITE{Analyzing}{% Oddi:2020:AHB% }. \NAMECITE{and/or}{% Alpuente:2020:OSH% }. \NAMECITE{angle}{% Turpin:2020:PFA% }. \NAMECITE{Answer}{% Bichler:2020:LRO,% Su:2020:UAN% }. \NAMECITE{Antimagic}{% Baca:2022:LAV,% Bong:2020:LFA% }. \NAMECITE{Anywhere}{% Rudi:2021:PVA% }. \NAMECITE{Apartness}{% Mitrovic:2021:TCS% }. \NAMECITE{Application}{% Allamigeon:2021:PAD,% Amat:2022:PAP% }. \NAMECITE{Applications}{% Abhishek:2022:RNG,% Devillers:2021:APT,% Kaniecki:2020:CAB,% Wronski:2021:HDC% }. \NAMECITE{Approach}{% Benouhiba:2021:MLR,% Cantone:2020:STA,% Lagerwerf:2020:EIA,% Massazza:2021:DSA,% Su:2020:UAN,% Tsumoto:2021:MCP,% Turpin:2020:PFA,% Wang:2021:NDT% }. \NAMECITE{Approximate}{% Chehreghani:2021:EAA% }. \NAMECITE{Approximations}{% Grabowski:2021:ACS,% Torres:2021:RAL% }. \NAMECITE{Arc}{% Wallace:2020:PNS% }. \NAMECITE{Arrays}{% Konishi:2020:FML% }. \NAMECITE{Articulations}{% Devillers:2021:APT% }. \NAMECITE{ary}{% Baca:2022:LAV% }. \NAMECITE{Assessments}{% Cantone:2021:CAD% }. \NAMECITE{Association}{% Combi:2021:CSP% }. \NAMECITE{Associativity}{% Alpuente:2020:OSH% }. \NAMECITE{Attack}{% Andre:2021:PAA% }. \NAMECITE{Attack-fault}{% Andre:2021:PAA% }. \NAMECITE{Attenuation}{% Presotto:2020:MSR% }. \NAMECITE{Augmented}{% Cheng:2020:CNI% }. \NAMECITE{Authenticated}{% Tioura:2020:HPS% }. \NAMECITE{Autoepistemic}{% Su:2020:UAN% }. \NAMECITE{Automata}{% Barozzini:2022:CAS,% Dobronravov:2021:LSS,% Fates:2022:SSC,% Fernau:2021:SVP,% Frei:2020:RPR,% Ganty:2021:CBP,% Geffert:2021:MSC,% Jastrzab:2021:PAM,% Kuperberg:2021:CAB,% Otto:2021:CTR,% Perrot:2021:BAN,% Redeker:2022:NCP,% Sproston:2021:PTA,% Wang:2021:LAW% }. \NAMECITE{Automated}{% Grabowski:2021:ACS,% Kalenkova:2021:ARP,% Zupanc:2020:IAE% }. \NAMECITE{{Automath}}{% Geuvers:2022:CBE% }. \NAMECITE{Auxiliary}{% Otto:2021:CTR% }. \NAMECITE{Aware}{% Felli:2021:SVD,% Macyna:2020:FAS,% Andres:2020:HAC% }. \NAMECITE{{aWide}}{% Kheirfam:2020:NPC% }. \NAMECITE{Axiomatizing}{% Kopczynski:2020:ARG% }. \NAMECITE{Axioms}{% Alpuente:2020:OSH% }. \NAMECITE{Back}{% Danvy:2022:GTB% }. \NAMECITE{{Baire}}{% Brutsch:2022:SIG% }. \NAMECITE{Balanced}{% Arockiaraj:2021:OWB% }. \NAMECITE{Balancing}{% Marrakchi:2021:SSL% }. \NAMECITE{Band}{% Marrakchi:2021:SSL% }. \NAMECITE{Barnette}{% Gh:2022:FHC% }. \NAMECITE{Base}{% Lin:2020:MBF% }. \NAMECITE{Based}{% Amat:2022:PAP,% Dagdia:2021:DSD,% Ganty:2021:CBP,% Kalenkova:2021:ARP,% Keshavarzian:2020:BCB,% Skeirik:2020:CBR,% Cantone:2021:ISB,% Oddi:2020:AHB% }. \NAMECITE{Basic}{% Devillers:2022:SBT% }. \NAMECITE{{BCK}}{% Keshavarzian:2020:BCB% }. \NAMECITE{{BCK}-codes}{% Keshavarzian:2020:BCB% }. \NAMECITE{Behavioural}{% Borger:2020:BTR% }. \NAMECITE{between}{% Alhazov:2021:RBC% }. \NAMECITE{Betweenness}{% Chehreghani:2021:EAA% }. \NAMECITE{{BGM}}{% Lin:2022:LDA% }. \NAMECITE{{BGN}}{% Lee:2022:IUB% }. \NAMECITE{Bijective}{% Fajardo:2021:RBA% }. \NAMECITE{Binary}{% Arnold:2022:ACS,% Kaniecki:2020:CAB,% Leko:2020:SIP,% Zheng:2020:MBR% }. \NAMECITE{Binding}{% Paduraru:2020:AVO% }. \NAMECITE{Bipartite}{% Ahmad:2020:CEI% }. \NAMECITE{Bisimilarity}{% Diaconescu:2020:MEB% }. \NAMECITE{{Boolean}}{% Barbuti:2021:ETB,% Cantone:2021:CAD,% Chen:2020:MPB,% Perrot:2021:BAN,% Zhengwei:2021:TBF% }. \NAMECITE{Bound}{% Catalano:2021:LBR% }. \NAMECITE{Bounded}{% Tredup:2021:CSB% }. \NAMECITE{Bounds}{% Ghosal:2020:PPS% }. \NAMECITE{{BPP}}{% Gorrieri:2021:CSB% }. \NAMECITE{Brain}{% Menegaz:2020:CFB% }. \NAMECITE{Branching}{% Sima:2021:PTC% }. \NAMECITE{Breaker}{% Forcan:2022:SSW% }. \NAMECITE{{Bruijn}}{% Geuvers:2022:CBE% }. \NAMECITE{{Buchberger}}{% Fajardo:2021:RBA% }. \NAMECITE{{B{\"u}chi}}{% Kuperberg:2021:CAB% }. \NAMECITE{Buffer}{% Hutagalung:2021:TCM% }. \NAMECITE{Built}{% Mrozek:2022:UAS% }. \NAMECITE{Built-in}{% Mrozek:2022:UAS% }. \NAMECITE{Butterfly}{% Sujana:2021:EFB% }. \NAMECITE{{Byzantine}}{% Tioura:2020:HPS% }. \NAMECITE{Calculi}{% Kaminski:2022:NCN% }. \NAMECITE{Calculus}{% Laue:2020:SET% }. \NAMECITE{Call}{% Allamigeon:2021:PAD% }. \NAMECITE{Cancer}{% Tarzariol:2020:TLP% }. \NAMECITE{Capacity}{% Truthe:2021:GCC% }. \NAMECITE{{Cartan}}{% Perez:2021:PTC% }. \NAMECITE{{Cartesian}}{% Arockiaraj:2021:OWB% }. \NAMECITE{Case}{% Cantone:2021:CAD% }. \NAMECITE{Causal}{% Caltais:2020:CRS,% Gorrieri:2021:CSB,% Lanese:2021:CCR% }. \NAMECITE{Causal-Consistent}{% Lanese:2021:CCR% }. \NAMECITE{Cause}{% Czaja:2021:EEC% }. \NAMECITE{Cause-Effect}{% Czaja:2021:EEC% }. \NAMECITE{Cellular}{% Fates:2022:SSC,% Redeker:2022:NCP% }. \NAMECITE{Centers}{% Allamigeon:2021:PAD% }. \NAMECITE{Centrality}{% Chehreghani:2021:EAA,% Menegaz:2020:CFB% }. \NAMECITE{centric}{% vanderAalst:2020:DOC% }. \NAMECITE{Change}{% Macyna:2022:AMP% }. \NAMECITE{Characterisation}{% Hutagalung:2021:TCM% }. \NAMECITE{Characterisations}{% Gastin:2021:RRL% }. \NAMECITE{Characterising}{% Menegaz:2020:CFB% }. \NAMECITE{Characteristics}{% Geuvers:2022:CBE% }. \NAMECITE{Check}{% Keshavarzian:2020:BCB% }. \NAMECITE{Checker}{% Conchon:2021:DPV,% Geuvers:2022:CBE% }. \NAMECITE{Checking}{% Amat:2022:PAP,% Bruse:2021:CMC,% Combi:2021:CSP,% Hanus:2020:CSD,% Thierry-Mieg:2021:SSM% }. \NAMECITE{choice}{% Wehler:2021:PFC,% vanderAalst:2021:FCN% }. \NAMECITE{{CIFF}}{% Alberti:2020:DOC% }. \NAMECITE{Circuit}{% Oddi:2020:AHB% }. \NAMECITE{Circular}{% Nagy:2021:CIV% }. \NAMECITE{Classification}{% Dowbor:2020:CCT,% Flisar:2020:IST,% Gonzalez:2021:GTF,% Perez:2021:PTC% }. \NAMECITE{Classroom}{% Manya:2020:STC% }. \NAMECITE{Clinical}{% Dasgupta:2020:PRM,% Sinisi:2020:OPT,% Tsumoto:2021:MCP% }. \NAMECITE{Clock}{% Sproston:2021:PTA% }. \NAMECITE{Clock-Dependent}{% Sproston:2021:PTA% }. \NAMECITE{Closed}{% Tarau:2020:DES% }. \NAMECITE{Closeness}{% Dangalchev:2020:ACN% }. \NAMECITE{Closure}{% Giordano:2020:RAE,% Slapal:2021:DJC% }. \NAMECITE{Closures}{% Barozzini:2022:CAS% }. \NAMECITE{Cluster}{% Zhao:2020:SNO% }. \NAMECITE{Clustering}{% Keikha:2021:CGM% }. \NAMECITE{Clusters}{% vanderAalst:2021:FCN% }. \NAMECITE{codes}{% Keshavarzian:2020:BCB% }. \NAMECITE{Coinductive}{% Kuperberg:2021:CAB% }. \NAMECITE{Coloring}{% Baca:2022:LAV,% Bong:2020:LFA% }. \NAMECITE{Column}{% Macyna:2020:FAS% }. \NAMECITE{Combinations}{% Alpuente:2020:OSH% }. \NAMECITE{Combinatorial}{% Kaniecki:2020:CAB% }. \NAMECITE{Combining}{% Hanus:2020:CSD,% Turaci:2020:CML% }. \NAMECITE{Communication}{% Maschio:2020:TFC% }. \NAMECITE{Commutativity}{% Alpuente:2020:OSH% }. \NAMECITE{Commuting}{% Bera:2020:CPM% }. \NAMECITE{Compactness}{% Polkowski:2020:CPM% }. \NAMECITE{Companion}{% Perez:2021:PTC% }. \NAMECITE{Companions}{% Genova:2020:CEM% }. \NAMECITE{Comparative}{% Grabowski:2021:ACS% }. \NAMECITE{Comparing}{% Alzamel:2020:CDS% }. \NAMECITE{Comparison}{% Baioletti:2020:ECA,% Przybyszewski:2020:CDD% }. \NAMECITE{Comparisons}{% Koczkodaj:2020:OPS% }. \NAMECITE{Compilation}{% Oddi:2020:AHB% }. \NAMECITE{Complementary}{% Neethu:2021:GPN% }. \NAMECITE{Complete}{% Arockiaraj:2021:OWB,% Baca:2022:LAV,% Kotek:2022:TMP,% Krivka:2021:SCG,% Otto:2021:CTR% }. \NAMECITE{Completeness}{% Arnold:2022:ACS,% Eberbach:2022:CCM% }. \NAMECITE{Complex}{% Akili:2021:RED,% Paduraru:2020:AVO% }. \NAMECITE{Complexity}{% Bruse:2021:CMC,% Cantone:2021:CAD,% Devillers:2022:SBT,% Devillers:2022:SPI,% Fernau:2021:IDC,% Fruhwirth:2020:JCH,% Pighizzini:2021:NSE,% Tredup:2021:CSB,% Whyman:2021:PCC% }. \NAMECITE{Composition}{% Manya:2020:STC,% Perrot:2021:BAN% }. \NAMECITE{Compositional}{% Paduraru:2020:AVO% }. \NAMECITE{Compression}{% Drylo:2021:CTJ,% Wronski:2021:HDC% }. \NAMECITE{Computable}{% Sureson:2021:IAF% }. \NAMECITE{Computation}{% Berghammer:2020:ECL,% Sinisi:2020:OPT% }. \NAMECITE{Computational}{% Dowbor:2020:CCT,% Kutrib:2022:CDP,% Whyman:2021:PCC% }. \NAMECITE{Computationally}{% Krivka:2021:SCG% }. \NAMECITE{Computations}{% Barylska:2021:ACR% }. \NAMECITE{Computers}{% Nagy:2021:CIV% }. \NAMECITE{Computing}{% Ahmad:2020:CEI,% Chehreghani:2021:EAA,% Darkey-Mensah:2021:CLS,% Esparza:2022:CPI,% Koprowski:2021:CSE,% Liu:2020:SUN,% Qi:2020:CID,% Slezak:2021:PIG,% Tsumoto:2021:MCP% }. \NAMECITE{Concept}{% Wang:2021:CDF% }. \NAMECITE{Concurrent}{% Abbes:2022:IPC,% Falaschi:2020:DSC,% Lanese:2021:CCR% }. \NAMECITE{Conditional}{% Fernau:2021:IDC,% Lin:2020:CCC% }. \NAMECITE{Conditional-}{% Lin:2020:CCC% }. \NAMECITE{Conditions}{% Felli:2021:SVD% }. \NAMECITE{Congress}{% Gurevich:2022:ICM% }. \NAMECITE{Congruence}{% Ganty:2021:CBP% }. \NAMECITE{Congruence-Based}{% Ganty:2021:CBP% }. \NAMECITE{Connected}{% Raghu:2020:DNF% }. \NAMECITE{Connectivity}{% Lin:2020:CCC,% Menegaz:2020:CFB% }. \NAMECITE{Consensus}{% Tioura:2020:HPS% }. \NAMECITE{Conservation}{% Redeker:2022:NCP% }. \NAMECITE{Consistency}{% Klopotek:2020:CMA,% Wallace:2020:PNS% }. \NAMECITE{Consistent}{% Koczkodaj:2020:OPS,% Lanese:2021:CCR% }. \NAMECITE{Constraint}{% Falaschi:2020:DSC,% Fruhwirth:2020:JCH,% Mesnard:2020:SUC,% Wallace:2020:PNS,% Zarrabi:2021:QPV% }. \NAMECITE{Constraints}{% Andre:2021:PSA,% Kalenkova:2021:ARP% }. \NAMECITE{Constructing}{% Cheng:2020:CNI% }. \NAMECITE{Construction}{% Sima:2021:PTC% }. \NAMECITE{Constructive}{% Mitrovic:2021:TCS% }. \NAMECITE{Constructor}{% Skeirik:2020:CBR% }. \NAMECITE{Constructor-Based}{% Skeirik:2020:CBR% }. \NAMECITE{Consumption}{% Albert:2020:FRC% }. \NAMECITE{Consumption-Preserving}{% Albert:2020:FRC% }. \NAMECITE{Context}{% Krivka:2021:SCG% }. \NAMECITE{Contextual}{% Truthe:2021:GCC% }. \NAMECITE{Contingent}{% Andres:2020:HAC% }. \NAMECITE{Continuous}{% Wang:2021:CDF% }. \NAMECITE{Contract}{% Alpuente:2020:ACS,% Hanus:2020:CSD% }. \NAMECITE{Control}{% Alhazov:2021:RBC,% Andre:2021:PSA% }. \NAMECITE{Cooperative}{% Albert:2020:FRC% }. \NAMECITE{Copyful}{% Filiot:2021:CSS% }. \NAMECITE{Core}{% Alviano:2020:UCA% }. \NAMECITE{Corrector}{% Kheirfam:2020:SOC,% Kheirfam:2020:NPC% }. \NAMECITE{Correlations}{% Tzacheva:2020:ARL% }. \NAMECITE{Cost}{% Barozzini:2022:CAS,% Eberbach:2022:CCM,% Lime:2021:CPP,% Tzacheva:2020:ARL% }. \NAMECITE{Counters}{% Geffert:2021:MSC% }. \NAMECITE{Counting}{% Saarela:2021:SWL% }. \NAMECITE{Coverability}{% Finkel:2021:CTF% }. \NAMECITE{{Coxeter}}{% Gonzalez:2022:CIN% }. \NAMECITE{{CP}}{% Wehler:2021:PFC% }. \NAMECITE{Critical}{% Chen:2020:MPB,% Zhou:2022:NGF% }. \NAMECITE{Crossover}{% Baioletti:2020:ECA% }. \NAMECITE{Crystal}{% Adamson:2021:HEM% }. \NAMECITE{{CSP}}{% Konishi:2020:FML% }. \NAMECITE{Cubes}{% Cheng:2020:CNI% }. \NAMECITE{Cubicle}{% Conchon:2021:DPV% }. \NAMECITE{{Curry}}{% Hanus:2020:CSD% }. \NAMECITE{Curve}{% Rudi:2021:PVA% }. \NAMECITE{Curves}{% Slapal:2021:DJC,% Wronski:2021:HDC% }. \NAMECITE{Cycle}{% Arockiaraj:2021:OWB% }. \NAMECITE{Cycles}{% Garzon:2022:DNC,% Gh:2022:FHC% }. \NAMECITE{Cyclic}{% Barylska:2021:ACR% }. \NAMECITE{Cylinders}{% Garzon:2022:DNC% }. \NAMECITE{D4}{% Cantone:2020:STA,% Cantone:2021:ISB% }. \NAMECITE{{Daniel}}{% Kasjan:2022:DSO% }. \NAMECITE{Data}{% Dasgupta:2020:PRM,% Felli:2021:SVD,% Lee:2022:IUB,% Przybyszewski:2020:CDD,% Slezak:2021:PIG,% Tarzariol:2020:TLP% }. \NAMECITE{Data-Aware}{% Felli:2021:SVD% }. \NAMECITE{Databases}{% Macyna:2020:FAS% }. \NAMECITE{{DBpedia}}{% Flisar:2020:IST% }. \NAMECITE{Decentralized}{% Zhang:2021:UMD% }. \NAMECITE{Decidability}{% Bes:2022:DDI,% Lin:2021:RAS,% Malcher:2021:DQI% }. \NAMECITE{Decidable}{% Cantone:2021:CAD% }. \NAMECITE{Decision}{% Syau:2021:VPG% }. \NAMECITE{Declarative}{% Conchon:2021:DPV% }. \NAMECITE{Deep}{% Le:2021:KLD% }. \NAMECITE{Definability}{% Bes:2022:DDI% }. \NAMECITE{Definite}{% Perez:2021:PTC% }. \NAMECITE{Degenerate}{% Alzamel:2020:CDS% }. \NAMECITE{degree}{% Wronski:2021:HDC% }. \NAMECITE{Dependent}{% Sproston:2021:PTA% }. \NAMECITE{Deriving}{% Tarau:2020:DES% }. \NAMECITE{Description}{% Cantone:2020:STA,% Cantone:2021:ISB,% Wang:2021:NDT% }. \NAMECITE{Descriptional}{% Fernau:2021:IDC,% Kutrib:2022:CDP,% Pighizzini:2021:NSE% }. \NAMECITE{Descriptions}{% Courcelle:2022:OTT% }. \NAMECITE{Detailed}{% Dagdia:2021:DSD% }. \NAMECITE{Detection}{% Zhang:2021:UMD% }. \NAMECITE{Determine}{% Przybyszewski:2020:CDD% }. \NAMECITE{Deterministic}{% Hittmeir:2020:DIF,% Zielinski:2021:NDM,% Finkel:2021:EPN,% Kaminski:2022:NCN% }. \NAMECITE{Detour}{% Raghu:2020:DNF% }. \NAMECITE{Development}{% Mitrovic:2021:TCS% }. \NAMECITE{Diagnosability}{% Lin:2020:DFG% }. \NAMECITE{Diagnosis}{% Lin:2020:DFG,% Lin:2022:LDA,% Zhang:2021:UMD% }. \NAMECITE{Diagnosis/prediction}{% Zhang:2021:UMD% }. \NAMECITE{Diamond}{% Adinayev:2021:DSR% }. \NAMECITE{Different}{% Przybyszewski:2020:CDD% }. \NAMECITE{Digital}{% Brunetti:2020:URG,% Sinisi:2020:OPT,% Slapal:2021:DJC% }. \NAMECITE{Dimension}{% Berghammer:2020:ECL% }. \NAMECITE{dimensional}{% Redeker:2022:NCP% }. \NAMECITE{Directed}{% Chehreghani:2021:EAA,% Kashiwabara:2020:HOR% }. \NAMECITE{Dischargeable}{% Alberti:2020:DOC% }. \NAMECITE{Discovering}{% vanderAalst:2020:DOC% }. \NAMECITE{Discovery}{% Karampelas:2020:TSE% }. \NAMECITE{Discrete}{% Qi:2020:CID,% Zhang:2021:UMD% }. \NAMECITE{Discrete-event}{% Zhang:2021:UMD% }. \NAMECITE{Disease}{% Przybyszewski:2020:CDD% }. \NAMECITE{Disjunctive}{% Ciftci:2020:DTD% }. \NAMECITE{Dissimilar}{% Przybyszewski:2020:CDD% }. \NAMECITE{Distributed}{% Akili:2021:RED,% Conchon:2021:DPV,% Dagdia:2021:DSD% }. \NAMECITE{Domains}{% Wang:2021:CDF% }. \NAMECITE{Domination}{% Ciftci:2020:DTD,% Martinez:2022:PDR,% Turaci:2020:CML,% Garzon:2022:DNC% }. \NAMECITE{Downward}{% Barozzini:2022:CAS% }. \NAMECITE{Dynamic}{% Arcile:2020:DEM,% Falaschi:2020:DSC,% Fruhwirth:2020:JCH,% Hanus:2020:CSD% }. \NAMECITE{Dynamical}{% Allamigeon:2021:PAD,% Massazza:2021:DSA% }. \NAMECITE{{Dynkin}}{% Gonzalez:2021:GTF,% Gonzalez:2022:CIN% }. \NAMECITE{early}{% Geuvers:2022:CBE% }. \NAMECITE{Edge}{% Ahmad:2020:CEI,% Sujana:2021:EFB,% Lin:2020:CCC% }. \NAMECITE{{EEG}}{% Dasgupta:2020:PRM% }. \NAMECITE{Effect}{% Czaja:2021:EEC% }. \NAMECITE{Efficiency}{% Akili:2021:RED% }. \NAMECITE{Efficient}{% Berghammer:2020:ECL,% Karampelas:2020:TSE,% Lagerwerf:2020:EIA,% Laue:2020:SET,% Nguyen:2021:EAM,% Tarau:2020:DES% }. \NAMECITE{Element}{% Darkey-Mensah:2021:CLS% }. \NAMECITE{Elementary}{% Czaja:2021:EEC% }. \NAMECITE{Elements}{% Koprowski:2021:CSE% }. \NAMECITE{Elliptic}{% Wronski:2021:HDC% }. \NAMECITE{Embedding}{% Alpuente:2020:OSH,% Pighizzini:2021:NSE% }. \NAMECITE{Emergency}{% Allamigeon:2021:PAD% }. \NAMECITE{Emerging}{% Abramsky:2022:SPE% }. \NAMECITE{Emission}{% Presotto:2020:MSR% }. \NAMECITE{Encoding}{% Barbuti:2021:ETB% }. \NAMECITE{Energy}{% Adamson:2021:HEM% }. \NAMECITE{Ensemble}{% Artiemjew:2021:NEM,% Zhao:2020:SNO% }. \NAMECITE{Entries}{% Kaniecki:2020:CAB% }. \NAMECITE{environments}{% Devillers:2022:SPI% }. \NAMECITE{Epileptic}{% Dasgupta:2020:PRM% }. \NAMECITE{Epistemic}{% Artemov:2022:TSE% }. \NAMECITE{Equal}{% Kaniecki:2020:CAB% }. \NAMECITE{Equations}{% Cho:2020:AGN% }. \NAMECITE{Equivalence}{% Diaconescu:2020:MEB% }. \NAMECITE{Essay}{% Zupanc:2020:IAE% }. \NAMECITE{Essential}{% Genova:2020:CEM% }. \NAMECITE{Estimation}{% Beirinckx:2020:JML,% Presotto:2020:MSR% }. \NAMECITE{{Euler}}{% Hittmeir:2020:DIF% }. \NAMECITE{Evaluations}{% Bong:2020:LFA% }. \NAMECITE{Event}{% Akili:2021:RED,% Zhang:2021:UMD% }. \NAMECITE{Events}{% Fahland:2021:IUE% }. \NAMECITE{Evolving}{% Combi:2021:CSP% }. \NAMECITE{Exact}{% Chehreghani:2021:EAA% }. \NAMECITE{Exceptions}{% Giordano:2020:RAE% }. \NAMECITE{exhaustions}{% Wehler:2021:PFC% }. \NAMECITE{Experimental}{% Baioletti:2020:ECA% }. \NAMECITE{Exploration}{% Arcile:2020:DEM% }. \NAMECITE{Exploring}{% Lagerwerf:2020:EIA% }. \NAMECITE{Expressions}{% Schmidt-Schauss:2022:NUM,% Yaman:2021:QVS% }. \NAMECITE{Expressive}{% Finkel:2021:EPN% }. \NAMECITE{Extensions}{% Czaja:2021:EEC,% Fajardo:2021:RBA% }. \NAMECITE{Extra}{% Kopczynski:2020:ARG% }. \NAMECITE{Face}{% Bong:2020:LFA% }. \NAMECITE{factor}{% Zhou:2022:NGF% }. \NAMECITE{Factorization}{% Hittmeir:2020:DIF% }. \NAMECITE{Factors}{% Saarela:2021:SWL% }. \NAMECITE{Fair}{% Valmari:2021:SSF% }. \NAMECITE{Faithful}{% Maschio:2020:TFC% }. \NAMECITE{Falsity}{% Francez:2022:GFF% }. \NAMECITE{Fault}{% Chen:2020:MPB,% Raghu:2020:DNF,% Zhang:2021:UMD,% Andre:2021:PAA% }. \NAMECITE{Fault-Tolerant}{% Chen:2020:MPB% }. \NAMECITE{Feature}{% Dagdia:2021:DSD% }. \NAMECITE{Features}{% Costantini:2021:AMF% }. \NAMECITE{Field}{% Darkey-Mensah:2021:CLS,% Turpin:2020:PFA% }. \NAMECITE{Finding}{% Gh:2022:FHC,% Konishi:2020:FML% }. \NAMECITE{Finite}{% Djordjevic:2020:PML,% Dobronravov:2021:LSS,% Frei:2020:RPR,% Ganty:2021:CBP,% Jastrzab:2021:PAM,% Kutrib:2022:CDP,% Lin:2020:MBF% }. \NAMECITE{Finite-State}{% Kutrib:2022:CDP% }. \NAMECITE{Finitely}{% Francez:2022:GFF% }. \NAMECITE{Finitely-many}{% Francez:2022:GFF% }. \NAMECITE{Finiteness}{% Finkel:2021:CTF% }. \NAMECITE{First}{% Whyman:2021:PCC% }. \NAMECITE{First-order}{% Whyman:2021:PCC% }. \NAMECITE{Fixed}{% Djordjevic:2020:PML% }. \NAMECITE{Fixpoint}{% Bruse:2021:CMC% }. \NAMECITE{Flash}{% Macyna:2020:FAS% }. \NAMECITE{Flash-Aware}{% Macyna:2020:FAS% }. \NAMECITE{Flexible}{% Carmona:2020:FPM% }. \NAMECITE{Flight}{% Andre:2021:PSA% }. \NAMECITE{Flow}{% Redeker:2022:NCP% }. \NAMECITE{Forcing}{% Sujana:2021:EFB% }. \NAMECITE{Formal}{% Albert:2020:FRC,% Wang:2021:CDF% }. \NAMECITE{Forms}{% Gonzalez:2021:GTF,% Gonzalez:2022:CIN,% Tarau:2020:DES% }. \NAMECITE{Foundations}{% Mitrovic:2021:TCS% }. \NAMECITE{Fractional}{% Zhou:2022:NGF% }. \NAMECITE{Fragments}{% Cantone:2021:CAD% }. \NAMECITE{Framework}{% Alberti:2020:DOC,% Alpuente:2020:ACS,% Beirinckx:2020:JML,% Gonzalez:2021:GTF% }. \NAMECITE{Free}{% Arnold:2022:ACS,% Krivka:2021:SCG,% Wehler:2021:PFC,% vanderAalst:2021:FCN,% Jin:2021:TFS,% Lin:2020:DFG% }. \NAMECITE{Free-choice}{% Wehler:2021:PFC,% vanderAalst:2021:FCN% }. \NAMECITE{Freeness}{% Teh:2021:FPM% }. \NAMECITE{Frozen}{% Valmari:2021:SSF% }. \NAMECITE{Full}{% Baca:2022:LAV% }. \NAMECITE{Function}{% Hittmeir:2020:DIF,% Sureson:2021:IAF% }. \NAMECITE{Functional}{% Menegaz:2020:CFB% }. \NAMECITE{Functions}{% Kashiwabara:2020:HOR,% Liu:2020:SUN,% Wronski:2021:HDC,% Zhengwei:2021:TBF% }. \NAMECITE{Games}{% Brutsch:2022:SIG,% Forcan:2022:SSW% }. \NAMECITE{Gathering}{% Bhagat:2022:GMN% }. \NAMECITE{{Gaussian}}{% Chapaneri:2020:SGP% }. \NAMECITE{Gene}{% Barbuti:2021:ETB% }. \NAMECITE{General}{% Neethu:2021:GPN% }. \NAMECITE{Generalization}{% Francez:2022:GFF,% Zhou:2022:NGF% }. \NAMECITE{Generalized}{% Cho:2020:AGN,% Grabowski:2021:ACS,% Syau:2021:VPG% }. \NAMECITE{Generation}{% Abhishek:2022:RNG,% Massazza:2021:DSA% }. \NAMECITE{Generative}{% Truthe:2021:GCC% }. \NAMECITE{Generator}{% Mrozek:2022:UAS% }. \NAMECITE{Generators}{% Tarau:2020:DES% }. \NAMECITE{Geometrically}{% Keikha:2021:CGM% }. \NAMECITE{Geometrically-Modeled}{% Keikha:2021:CGM% }. \NAMECITE{Getting}{% Danvy:2022:GTB% }. \NAMECITE{Global}{% Darkey-Mensah:2021:CLS% }. \NAMECITE{Graders}{% Zupanc:2020:IAE% }. \NAMECITE{Grading}{% Zupanc:2020:IAE% }. \NAMECITE{{Gram}}{% Gonzalez:2021:GTF% }. \NAMECITE{Grammars}{% Alhazov:2021:RBC,% Fernau:2021:IDC,% Krivka:2021:SCG,% Paul:2020:SLL,% Pighizzini:2021:NSE,% Truthe:2021:GCC% }. \NAMECITE{Granular}{% Artiemjew:2021:NEM,% Tsumoto:2021:MCP% }. \NAMECITE{Granulation}{% Slezak:2021:PIG% }. \NAMECITE{Graph}{% Adinayev:2021:DSR,% Berghammer:2020:ECL,% Gonzalez:2021:GTF% }. \NAMECITE{Graph-theoretic}{% Berghammer:2020:ECL% }. \NAMECITE{Graphs}{% Ahmad:2020:CEI,% Arockiaraj:2021:OWB,% Bong:2020:LFA,% Boomari:2021:RVG,% Chehreghani:2021:EAA,% Ciftci:2020:DTD,% Gh:2022:FHC,% Kashiwabara:2020:HOR,% Kotek:2022:TMP,% Lin:2020:DFG,% Martinez:2022:PDR,% Nguyen:2021:EAM,% Raghu:2020:DNF,% Zhou:2022:NGF% }. \NAMECITE{green}{% Nagy:2021:CIV% }. \NAMECITE{Grey}{% Brunetti:2020:URG% }. \NAMECITE{Grid}{% Bhagat:2022:GMN% }. \NAMECITE{Grids}{% Kopczynski:2020:ARG% }. \NAMECITE{Grouping}{% Zupanc:2020:IAE% }. \NAMECITE{Groups}{% Przybyszewski:2020:CDD% }. \NAMECITE{Growth}{% Dangalchev:2020:ACN% }. \NAMECITE{{Hamiltonian}}{% Gh:2022:FHC% }. \NAMECITE{Handling}{% Fruhwirth:2020:JCH% }. \NAMECITE{Hardness}{% Adamson:2021:HEM% }. \NAMECITE{Hardware}{% Paduraru:2020:AVO% }. \NAMECITE{Hardware-software}{% Paduraru:2020:AVO% }. \NAMECITE{Hashing}{% Dagdia:2021:DSD% }. \NAMECITE{{Haskell}}{% Albert:2020:FRC% }. \NAMECITE{{Hennessy}}{% Caltais:2020:CRS% }. \NAMECITE{Heuristic}{% Oddi:2020:AHB% }. \NAMECITE{Heuristic-based}{% Oddi:2020:AHB% }. \NAMECITE{High}{% Wronski:2021:HDC% }. \NAMECITE{High-degree}{% Wronski:2021:HDC% }. \NAMECITE{Higher}{% Bruse:2021:CMC,% Kashiwabara:2020:HOR,% Schmidt-Schauss:2022:NUM% }. \NAMECITE{Higher-Order}{% Bruse:2021:CMC,% Kashiwabara:2020:HOR% }. \NAMECITE{Hitting}{% Sima:2021:PTC% }. \NAMECITE{{Hoare}}{% Bergstra:2021:UHL% }. \NAMECITE{Home}{% vanderAalst:2021:FCN% }. \NAMECITE{Homeomorphic}{% Alpuente:2020:OSH% }. \NAMECITE{Hospital}{% Tsumoto:2021:MCP% }. \NAMECITE{Human}{% Andres:2020:HAC% }. \NAMECITE{Human-aware}{% Andres:2020:HAC% }. \NAMECITE{Hybrid}{% Tioura:2020:HPS% }. \NAMECITE{Hypercube}{% Lin:2022:LDA% }. \NAMECITE{Hypercube-like}{% Lin:2022:LDA% }. \NAMECITE{Hypercubes}{% Lin:2020:CCC% }. \NAMECITE{{ID}}{% Zhou:2022:NGF% }. \NAMECITE{{ID}-factor-critical}{% Zhou:2022:NGF% }. \NAMECITE{Identifying}{% Dasgupta:2020:PRM% }. \NAMECITE{Images}{% Beirinckx:2020:JML,% Brunetti:2020:URG% }. \NAMECITE{Immediate}{% Jancar:2022:SLI% }. \NAMECITE{Implementations}{% Fruhwirth:2020:JCH% }. \NAMECITE{Improved}{% Cantone:2021:ISB,% Fernau:2021:IDC% }. \NAMECITE{Improvement}{% Zupanc:2020:IAE% }. \NAMECITE{Improving}{% Flisar:2020:IST% }. \NAMECITE{Impure}{% Devillers:2022:SPI% }. \NAMECITE{Incomplete}{% Syau:2021:VPG% }. \NAMECITE{Independent}{% Cheng:2020:CNI,% Jin:2021:TFS% }. \NAMECITE{Index}{% Menegaz:2020:CFB,% Torres:2021:RAL% }. \NAMECITE{Indiscernibility}{% Torres:2021:RAL% }. \NAMECITE{Induced}{% Nguyen:2021:EAM% }. \NAMECITE{Inductive}{% Berghammer:2020:ECL% }. \NAMECITE{Infeasible}{% Kheirfam:2020:NPC,% Kheirfam:2020:SOC% }. \NAMECITE{Inference}{% Jastrzab:2021:PAM% }. \NAMECITE{Inferring}{% Fahland:2021:IUE% }. \NAMECITE{Infinite}{% Bhagat:2022:GMN,% Brutsch:2022:SIG,% Finkel:2021:EPN,% Torres:2021:RAL% }. \NAMECITE{Information}{% Flisar:2020:IST,% Slezak:2021:PIG,% Tsumoto:2021:MCP% }. \NAMECITE{Insecure}{% Lee:2022:IUB% }. \NAMECITE{Insertion}{% Malcher:2021:DQI,% Paul:2020:SLL% }. \NAMECITE{Integer}{% Hittmeir:2020:DIF% }. \NAMECITE{Interference}{% Hillston:2021:PSN% }. \NAMECITE{Interior}{% Kheirfam:2020:NPC,% Kheirfam:2020:SOC% }. \NAMECITE{Interior-point}{% Kheirfam:2020:NPC,% Kheirfam:2020:SOC% }. \NAMECITE{International}{% Gurevich:2022:ICM% }. \NAMECITE{Interpolation}{% Lagerwerf:2020:EIA% }. \NAMECITE{Intersection}{% Drylo:2021:CTJ% }. \NAMECITE{Interval}{% Nagy:2021:CIV,% Qi:2020:CID% }. \NAMECITE{Interval-valued}{% Nagy:2021:CIV% }. \NAMECITE{Introduction}{% Abbes:2022:IPC% }. \NAMECITE{Invariance}{% Leko:2020:SIP% }. \NAMECITE{Invariants}{% Esparza:2022:CPI,% Gonzalez:2022:CIN% }. \NAMECITE{Inverse}{% Sureson:2021:IAF% }. \NAMECITE{Investigating}{% Escrig:2021:IRS% }. \NAMECITE{Irregular}{% Boomari:2021:RVG% }. \NAMECITE{Irregularity}{% Ahmad:2020:CEI% }. \NAMECITE{issue}{% Andrejczuk:2020:SIT% }. \NAMECITE{Issues}{% Bes:2022:DDI,% Devillers:2022:SBT,% Devillers:2022:SPI% }. \NAMECITE{Iterated}{% Kutrib:2022:CDP% }. \NAMECITE{{Jacobi}}{% Drylo:2021:CTJ% }. \NAMECITE{Joint}{% Beirinckx:2020:JML,% Presotto:2020:MSR% }. \NAMECITE{{Jordan}}{% Slapal:2021:DJC% }. \NAMECITE{Jump}{% Qi:2020:CID% }. \NAMECITE{Justifications}{% Fruhwirth:2020:JCH% }. \NAMECITE{Kernel}{% Abhishek:2022:RNG% }. \NAMECITE{{KNN}}{% Le:2021:KLD% }. \NAMECITE{Knowledge}{% Costantini:2021:AMF% }. \NAMECITE{Labeling}{% Carmona:2020:FPM% }. \NAMECITE{Labelled}{% Paul:2020:SLL% }. \NAMECITE{{Lambda}}{% Tarau:2020:DES% }. \NAMECITE{Landscape}{% Abramsky:2022:SPE% }. \NAMECITE{Language}{% Saarela:2021:SWL,% Zielinski:2021:NDM% }. \NAMECITE{Languages}{% Costantini:2021:AMF,% Falaschi:2020:DSC,% Frei:2020:RPR,% Gastin:2021:RRL,% Holzer:2021:TSS,% Paul:2020:SLL,% Torres:2021:RAL,% Truthe:2021:GCC,% Wang:2021:LAW% }. \NAMECITE{Large}{% Berghammer:2020:ECL,% Karampelas:2020:TSE% }. \NAMECITE{Launcher}{% Andre:2021:PSA% }. \NAMECITE{Learning}{% Laue:2020:SET% }. \NAMECITE{Length}{% Darkey-Mensah:2021:CLS,% Dobronravov:2021:LSS% }. \NAMECITE{Let}{% Schmidt-Schauss:2022:NUM% }. \NAMECITE{Letter}{% Halava:2020:SWL% }. \NAMECITE{Letter-to-Letter}{% Halava:2020:SWL% }. \NAMECITE{level}{% Benouhiba:2021:MLR% }. \NAMECITE{Lexicographic}{% Giordano:2020:RAE,% Martinez:2022:PDR% }. \NAMECITE{like}{% Lin:2022:LDA% }. \NAMECITE{Likelihood}{% Beirinckx:2020:JML% }. \NAMECITE{Limited}{% Turpin:2020:PFA% }. \NAMECITE{Limited-angle}{% Turpin:2020:PFA% }. \NAMECITE{Linear}{% Catalano:2021:LBR,% Kaniecki:2020:CAB,% Kheirfam:2020:NPC,% Marrakchi:2021:SSL,% Sureson:2021:IAF% }. \NAMECITE{Link}{% Karampelas:2020:TSE,% Turaci:2020:CML,% Zarrabi:2021:QPV% }. \NAMECITE{Liveness}{% Jancar:2022:SLI% }. \NAMECITE{Load}{% Marrakchi:2021:SSL% }. \NAMECITE{Local}{% Baca:2022:LAV,% Bong:2020:LFA,% Lin:2022:LDA,% Kalenkova:2021:ARP% }. \NAMECITE{Locality}{% Dagdia:2021:DSD% }. \NAMECITE{Locally}{% Holzer:2021:TSS% }. \NAMECITE{Locating}{% Konishi:2020:FML% }. \NAMECITE{Logarithm}{% Qi:2020:CID% }. \NAMECITE{Logic}{% Artemov:2022:TSE,% Bergstra:2021:UHL,% Bruse:2021:CMC,% Caltais:2020:CRS,% Cantone:2020:STA,% Cantone:2021:ISB,% Djordjevic:2020:PML,% Leustean:2020:MSP,% Mesnard:2020:SUC,% Skeirik:2020:CBR,% Su:2020:UAN,% Tarzariol:2020:TLP,% Whyman:2021:PCC% }. \NAMECITE{Logical}{% Fruhwirth:2020:JCH,% Gastin:2021:RRL% }. \NAMECITE{Logics}{% Diaconescu:2020:MEB,% Francez:2022:GFF,% Kaminski:2022:NCN% }. \NAMECITE{Loss}{% Le:2021:KLD% }. \NAMECITE{Lower}{% Ghosal:2020:PPS% }. \NAMECITE{Lowest}{% Tzacheva:2020:ARL% }. \NAMECITE{lpopt}{% Bichler:2020:LRO% }. \NAMECITE{{LR}}{% Kaniecki:2020:CAB% }. \NAMECITE{{LR}-tableaux}{% Kaniecki:2020:CAB% }. \NAMECITE{Lucent}{% Wehler:2021:PFC,% vanderAalst:2021:FCN% }. \NAMECITE{Machine}{% Laue:2020:SET% }. \NAMECITE{Machines}{% Nagy:2021:CIV% }. \NAMECITE{Magnetic}{% Beirinckx:2020:JML% }. \NAMECITE{Many}{% Diaconescu:2020:MEB,% Kaminski:2022:NCN,% Leustean:2020:MSP,% Francez:2022:GFF% }. \NAMECITE{Many-sorted}{% Leustean:2020:MSP% }. \NAMECITE{Many-valued}{% Diaconescu:2020:MEB,% Kaminski:2022:NCN% }. \NAMECITE{Mapping}{% Carmona:2020:FPM% }. \NAMECITE{Matching}{% Kotek:2022:TMP,% Nguyen:2021:EAM,% Schmidt-Schauss:2022:NUM% }. \NAMECITE{{Mathematicians}}{% Gurevich:2022:ICM% }. \NAMECITE{Matrices}{% Bera:2020:CPM,% Catalano:2021:LBR,% Koczkodaj:2020:OPS,% Perez:2021:PTC,% Teh:2021:FPM% }. \NAMECITE{Matrix}{% Keshavarzian:2020:BCB,% Lin:2020:MBF,% Teh:2021:FPM% }. \NAMECITE{Matroids}{% Wang:2021:NDT% }. \NAMECITE{Maximum}{% Beirinckx:2020:JML,% Nguyen:2021:EAM% }. \NAMECITE{Means}{% Berghammer:2020:ECL,% Klopotek:2020:CMA% }. \NAMECITE{Mechanisms}{% Alhazov:2021:RBC% }. \NAMECITE{Meeting}{% Bhagat:2022:GMN% }. \NAMECITE{Membranes}{% Jin:2021:TFS% }. \NAMECITE{memoir}{% Gurevich:2022:ICM% }. \NAMECITE{Memory}{% Macyna:2022:AMP,% Mrozek:2022:UAS% }. \NAMECITE{Mereological}{% Polkowski:2020:CPM% }. \NAMECITE{Merging}{% Macyna:2022:AMP% }. \NAMECITE{Message}{% Lanese:2021:CCR% }. \NAMECITE{Meta}{% Eberbach:2022:CCM% }. \NAMECITE{Meta-Search}{% Eberbach:2022:CCM% }. \NAMECITE{Metalogic}{% Costantini:2021:AMF% }. \NAMECITE{Method}{% Kheirfam:2020:SOC,% Lin:2020:MBF,% Qi:2020:CID,% Zhang:2021:UMD% }. \NAMECITE{Methods}{% Przybyszewski:2020:CDD,% Turaci:2020:CML% }. \NAMECITE{Metric}{% Djordjevic:2020:PML% }. \NAMECITE{Metrics}{% Eberbach:2022:CCM% }. \NAMECITE{Micro}{% Gurevich:2022:ICM% }. \NAMECITE{Micro-memoir}{% Gurevich:2022:ICM% }. \NAMECITE{{Milner}}{% Caltais:2020:CRS% }. \NAMECITE{{MILP}}{% Chen:2020:MPB% }. \NAMECITE{Minimal}{% Geffert:2021:MSC,% Jastrzab:2021:PAM,% Lin:2020:MBF% }. \NAMECITE{Minimisation}{% Adamson:2021:HEM% }. \NAMECITE{Minimization}{% Presotto:2020:MSR% }. \NAMECITE{Minimum}{% Konishi:2020:FML,% Zarrabi:2021:QPV% }. \NAMECITE{Mining}{% Dasgupta:2020:PRM,% Przybyszewski:2020:CDD,% Tsumoto:2021:MCP% }. \NAMECITE{Mission}{% Chen:2020:MPB% }. \NAMECITE{Modal}{% Diaconescu:2020:MEB,% Leustean:2020:MSP% }. \NAMECITE{Model}{% Alviano:2020:UCA,% Amat:2022:PAP,% Artiemjew:2021:NEM,% Bruse:2021:CMC,% Carmona:2020:FPM,% Conchon:2021:DPV,% Keikha:2021:CGM,% Lin:2020:DFG,% Lin:2022:LDA,% Paduraru:2020:AVO,% Thierry-Mieg:2021:SSM% }. \NAMECITE{Model-Checking}{% Bruse:2021:CMC,% Thierry-Mieg:2021:SSM% }. \NAMECITE{Modeled}{% Keikha:2021:CGM% }. \NAMECITE{Models}{% Allamigeon:2021:PAD,% Benouhiba:2021:MLR,% Felli:2021:SVD,% Ghosal:2020:PPS,% Kalenkova:2021:ARP,% Malcher:2021:DQI,% Wronski:2021:HDC% }. \NAMECITE{Modulo}{% Alpuente:2020:OSH,% Koprowski:2021:CSE% }. \NAMECITE{Monadic}{% Courcelle:2022:OTT% }. \NAMECITE{Mood}{% Chapaneri:2020:SGP% }. \NAMECITE{Morphisms}{% Dolce:2022:MPP,% Zheng:2020:MBR% }. \NAMECITE{Motion}{% Beirinckx:2020:JML,% Genova:2020:CEM% }. \NAMECITE{Moves}{% Gorrieri:2021:CSB% }. \NAMECITE{Multi}{% Arcile:2020:DEM,% Benouhiba:2021:MLR,% Hutagalung:2021:TCM% }. \NAMECITE{Multi-agent}{% Arcile:2020:DEM% }. \NAMECITE{Multi-Buffer}{% Hutagalung:2021:TCM% }. \NAMECITE{Multi-level}{% Benouhiba:2021:MLR% }. \NAMECITE{Multiagent}{% Andrejczuk:2020:SIT% }. \NAMECITE{Multicore}{% Marrakchi:2021:SSL% }. \NAMECITE{Multicounter}{% Geffert:2021:MSC% }. \NAMECITE{Multigranular}{% Jarvinen:2020:SMR% }. \NAMECITE{Multilinear}{% Ghosal:2020:PPS% }. \NAMECITE{Multipartite}{% Arockiaraj:2021:OWB% }. \NAMECITE{Multiset}{% Zielinski:2021:NDM% }. \NAMECITE{Music}{% Chapaneri:2020:SGP% }. \NAMECITE{negative}{% Gonzalez:2021:GTF,% Gonzalez:2022:CIN% }. \NAMECITE{Neighborhood}{% Kheirfam:2020:NPC,% Kheirfam:2020:SOC% }. \NAMECITE{Neighbourhood}{% Wallace:2020:PNS% }. \NAMECITE{Net}{% Best:2020:TOP,% Devillers:2021:APT,% Devillers:2022:SBT% }. \NAMECITE{Nets}{% Allamigeon:2021:PAD,% Amat:2022:PAP,% Barylska:2021:ACR,% Desel:2020:STP,% Devillers:2022:SPI,% Escrig:2021:IRS,% Esparza:2022:CPI,% Finkel:2021:CTF,% Finkel:2021:EPN,% Gorrieri:2021:CSB,% Jancar:2022:SLI,% Lime:2021:CPP,% Tredup:2021:CSB,% Wehler:2021:PFC,% vanderAalst:2020:DOC,% vanderAalst:2021:FCN% }. \NAMECITE{Network}{% Brodo:2020:VTN,% Menegaz:2020:CFB,% Zhao:2020:SNO% }. \NAMECITE{Networks}{% Barbuti:2021:ETB,% Boomari:2021:RVG,% Chen:2020:MPB,% Dangalchev:2020:ACN,% Lin:2022:LDA,% Perrot:2021:BAN,% Sujana:2021:EFB,% Turaci:2020:CML% }. \NAMECITE{Nilpotent}{% Kaniecki:2020:CAB% }. \NAMECITE{no}{% Kopczynski:2020:ARG% }. \NAMECITE{Node}{% Cheng:2020:CNI% }. \NAMECITE{Node-Independent}{% Cheng:2020:CNI% }. \NAMECITE{Nodes}{% Bhagat:2022:GMN,% Chen:2020:MPB% }. \NAMECITE{Nominal}{% Schmidt-Schauss:2022:NUM% }. \NAMECITE{Non}{% Finkel:2021:EPN,% Gonzalez:2021:GTF,% Gonzalez:2022:CIN,% Hillston:2021:PSN,% Kalenkova:2021:ARP,% Kaminski:2022:NCN,% Kopczynski:2020:ARG,% Krivka:2021:SCG,% Pighizzini:2021:NSE,% Zielinski:2021:NDM% }. \NAMECITE{Non-Context-Free}{% Krivka:2021:SCG% }. \NAMECITE{Non-Deterministic}{% Zielinski:2021:NDM,% Finkel:2021:EPN,% Kaminski:2022:NCN% }. \NAMECITE{Non-Interference}{% Hillston:2021:PSN% }. \NAMECITE{Non-local}{% Kalenkova:2021:ARP% }. \NAMECITE{Non-negative}{% Gonzalez:2021:GTF,% Gonzalez:2022:CIN% }. \NAMECITE{Non-Self-Embedding}{% Pighizzini:2021:NSE% }. \NAMECITE{Non-unary}{% Kopczynski:2020:ARG% }. \NAMECITE{Nondeterministic}{% Jastrzab:2021:PAM,% Kutrib:2022:CDP% }. \NAMECITE{Nonmonotonic}{% Su:2020:UAN% }. \NAMECITE{Nonregular}{% Frei:2020:RPR% }. \NAMECITE{norm}{% Kheirfam:2020:SOC% }. \NAMECITE{Normal}{% Tarau:2020:DES% }. \NAMECITE{Note}{% Kaminski:2022:NCN,% Zhou:2022:NGF% }. \NAMECITE{Novel}{% Artiemjew:2021:NEM% }. \NAMECITE{{NTRU}}{% Cho:2020:AGN% }. \NAMECITE{Number}{% Abhishek:2022:RNG,% Ciftci:2020:DTD,% Garzon:2022:DNC,% Neethu:2021:GPN,% Raghu:2020:DNF,% Redeker:2022:NCP% }. \NAMECITE{Numerical}{% Liu:2020:SUN% }. \NAMECITE{{NZ}}{% Catalano:2021:LBR% }. \NAMECITE{Obituary}{% Kasjan:2022:DSO% }. \NAMECITE{Object}{% vanderAalst:2020:DOC% }. \NAMECITE{Object-centric}{% vanderAalst:2020:DOC% }. \NAMECITE{Obligations}{% Alberti:2020:DOC% }. \NAMECITE{Observation}{% Jancar:2022:SLI% }. \NAMECITE{{OMT}}{% Chen:2020:MPB% }. \NAMECITE{Once}{% Sima:2021:PTC% }. \NAMECITE{One}{% Adinayev:2021:DSR,% Kheirfam:2020:SOC,% Krivka:2021:SCG,% Redeker:2022:NCP% }. \NAMECITE{One-dimensional}{% Redeker:2022:NCP% }. \NAMECITE{One-norm}{% Kheirfam:2020:SOC% }. \NAMECITE{One-Rule}{% Adinayev:2021:DSR% }. \NAMECITE{onto}{% Arockiaraj:2021:OWB% }. \NAMECITE{Ontologies}{% Giordano:2020:RAE% }. \NAMECITE{Ontology}{% Flisar:2020:IST% }. \NAMECITE{Operations}{% Kaniecki:2020:CAB% }. \NAMECITE{Operator}{% Slapal:2021:DJC% }. \NAMECITE{Operators}{% Baioletti:2020:ECA,% Kaniecki:2020:CAB% }. \NAMECITE{Optimal}{% Arockiaraj:2021:OWB,% Benouhiba:2021:MLR,% Chen:2020:MPB,% Sinisi:2020:OPT% }. \NAMECITE{Optimization}{% Bichler:2020:LRO,% Kheirfam:2020:NPC,% Kheirfam:2020:SOC,% Zhao:2020:SNO% }. \NAMECITE{Optimum}{% Alviano:2020:UCA% }. \NAMECITE{Oracles}{% Hittmeir:2020:DIF% }. \NAMECITE{Order}{% Alpuente:2020:OSH,% Berghammer:2020:ECL,% Bruse:2021:CMC,% Courcelle:2022:OTT,% Kashiwabara:2020:HOR,% Schmidt-Schauss:2022:NUM,% Kheirfam:2020:SOC,% Whyman:2021:PCC% }. \NAMECITE{Order-}{% Berghammer:2020:ECL% }. \NAMECITE{Order-sorted}{% Alpuente:2020:OSH% }. \NAMECITE{Order-theoretic}{% Courcelle:2022:OTT% }. \NAMECITE{Organisms}{% Paduraru:2020:AVO% }. \NAMECITE{Oriented}{% Macyna:2020:FAS,% Best:2020:TOP% }. \NAMECITE{Orthogonal}{% Koczkodaj:2020:OPS% }. \NAMECITE{{P}}{% Jin:2021:TFS,% Liu:2020:SUN% }. \NAMECITE{Pairwise}{% Koczkodaj:2020:OPS% }. \NAMECITE{Palindromic}{% Dolce:2022:MPP% }. \NAMECITE{Parallel}{% Jastrzab:2021:PAM,% Tarau:2020:DES% }. \NAMECITE{Parameter}{% Cassez:2021:VPS,% Lagerwerf:2020:EIA% }. \NAMECITE{Parameterized}{% Conchon:2021:DPV,% Esparza:2022:CPI,% Ghosal:2020:PPS% }. \NAMECITE{Parameters}{% Beirinckx:2020:JML% }. \NAMECITE{Parametric}{% Andre:2021:PAA,% Andre:2021:PSA,% Lime:2021:CPP,% Sofronie-Stokkermans:2020:PSV% }. \NAMECITE{{Parikh}}{% Bera:2020:CPM,% Teh:2021:FPM% }. \NAMECITE{Parity}{% Keshavarzian:2020:BCB% }. \NAMECITE{{Parkinson}}{% Przybyszewski:2020:CDD% }. \NAMECITE{Partial}{% Wallace:2020:PNS% }. \NAMECITE{Particle}{% Redeker:2022:NCP% }. \NAMECITE{Passing}{% Lanese:2021:CCR% }. \NAMECITE{Path}{% Arockiaraj:2021:OWB% }. \NAMECITE{Paths}{% Zarrabi:2021:QPV% }. \NAMECITE{Patient}{% Sinisi:2020:OPT% }. \NAMECITE{Patients}{% Dasgupta:2020:PRM,% Przybyszewski:2020:CDD% }. \NAMECITE{Pattern}{% Dasgupta:2020:PRM% }. \NAMECITE{{PBW}}{% Fajardo:2021:RBA% }. \NAMECITE{Perfect}{% Martinez:2022:PDR% }. \NAMECITE{Periodic}{% Arcile:2020:DEM% }. \NAMECITE{Permutation}{% Baioletti:2020:ECA,% Nguyen:2021:EAM% }. \NAMECITE{Perpetual}{% Wehler:2021:PFC% }. \NAMECITE{Persistent}{% Hillston:2021:PSN% }. \NAMECITE{Personalised}{% Sinisi:2020:OPT% }. \NAMECITE{Perspective}{% Ganty:2021:CBP% }. \NAMECITE{{Petri}}{% Allamigeon:2021:PAD,% Amat:2022:PAP,% Barylska:2021:ACR,% Best:2020:TOP,% Desel:2020:STP,% Devillers:2021:APT,% Devillers:2022:SBT,% Devillers:2022:SPI,% Escrig:2021:IRS,% Esparza:2022:CPI,% Finkel:2021:CTF,% Finkel:2021:EPN,% Jancar:2022:SLI,% Lime:2021:CPP,% Tredup:2021:CSB,% Wehler:2021:PFC,% vanderAalst:2020:DOC% }. \NAMECITE{Phase}{% Macyna:2022:AMP,% Turpin:2020:PFA% }. \NAMECITE{Physical}{% Whyman:2021:PCC% }. \NAMECITE{Piecewise}{% Allamigeon:2021:PAD% }. \NAMECITE{Place}{% Devillers:2022:SPI,% Rudi:2021:PVA% }. \NAMECITE{Place-environments}{% Devillers:2022:SPI% }. \NAMECITE{Placements}{% Chen:2020:MPB% }. \NAMECITE{Plane}{% Bong:2020:LFA% }. \NAMECITE{Planning}{% Andres:2020:HAC% }. \NAMECITE{{PMC}}{% Lin:2020:DFG% }. \NAMECITE{point}{% Kheirfam:2020:NPC,% Kheirfam:2020:SOC% }. \NAMECITE{Points}{% Keikha:2021:CGM,% Zarrabi:2021:QPV% }. \NAMECITE{Polyadic}{% Leustean:2020:MSP% }. \NAMECITE{Polygons}{% Zarrabi:2021:QPV% }. \NAMECITE{Polyhedral}{% Amat:2022:PAP% }. \NAMECITE{Polynomial}{% Perez:2021:PTC,% Sima:2021:PTC% }. \NAMECITE{Polynomial-Time}{% Sima:2021:PTC,% Perez:2021:PTC% }. \NAMECITE{Polynomials}{% Kotek:2022:TMP% }. \NAMECITE{Polyominoes}{% Massazza:2021:DSA% }. \NAMECITE{Position}{% Neethu:2021:GPN% }. \NAMECITE{Positive}{% Perez:2021:PTC% }. \NAMECITE{Positron}{% Presotto:2020:MSR% }. \NAMECITE{Power}{% Abramsky:2022:SPE,% Finkel:2021:EPN,% Kutrib:2022:CDP% }. \NAMECITE{Powers}{% Frei:2020:RPR% }. \NAMECITE{Practice}{% Mitrovic:2021:TCS% }. \NAMECITE{Pre}{% Lin:2021:RAS% }. \NAMECITE{Pre-rough}{% Lin:2021:RAS% }. \NAMECITE{Precision}{% Syau:2021:VPG% }. \NAMECITE{Prediction}{% Adamson:2021:HEM,% Zhang:2021:UMD% }. \NAMECITE{Predictor}{% Kheirfam:2020:NPC% }. \NAMECITE{Predictor-corrector}{% Kheirfam:2020:NPC% }. \NAMECITE{Preface}{% Andrejczuk:2020:SIT,% Avron:2022:P,% Badica:2020:P,% Brunetti:2020:P,% Buchs:2022:P,% Casagrande:2021:P,% Donatelli:2021:P,% Durand-Lose:2021:P,% Eiter:2020:P,% Felli:2021:P,% Fioravanti:2020:P,% Ghosh:2020:P,% Hague:2021:P,% Hermenegildo:2020:P,% Hirvensalo:2021:P,% Janicki:2021:P,% Keller:2021:P,% Kleijn:2020:P,% Monica:2020:P,% Schlingloff:2021:P,% Skrzypczak:2021:P,% Slezak:2021:PIG,% terBeek:2020:P% }. \NAMECITE{Preserving}{% Albert:2020:FRC,% Dolce:2022:MPP,% Lee:2022:IUB% }. \NAMECITE{Primitive}{% Catalano:2021:LBR% }. \NAMECITE{Prisms}{% Neethu:2021:GPN% }. \NAMECITE{Privacy}{% Lee:2022:IUB% }. \NAMECITE{Probabilistic}{% Abbes:2022:IPC,% Benouhiba:2021:MLR,% Sproston:2021:PTA% }. \NAMECITE{Probabilities}{% Sproston:2021:PTA% }. \NAMECITE{Problem}{% Jin:2021:TFS,% Manya:2020:STC,% Nguyen:2021:EAM,% Oddi:2020:AHB,% Qi:2020:CID,% Teh:2021:FPM% }. \NAMECITE{Problems}{% Baioletti:2020:ECA,% Lime:2021:CPP,% Wallace:2020:PNS% }. \NAMECITE{Process}{% Bergstra:2021:UHL,% Carmona:2020:FPM,% Chapaneri:2020:SGP,% Felli:2021:SVD,% Kalenkova:2021:ARP,% Tsumoto:2021:MCP% }. \NAMECITE{Processing}{% Akili:2021:RED% }. \NAMECITE{Processors}{% Marrakchi:2021:SSL% }. \NAMECITE{Product}{% Arockiaraj:2021:OWB,% Martinez:2022:PDR% }. \NAMECITE{Production}{% Krivka:2021:SCG% }. \NAMECITE{Products}{% Devillers:2021:APT% }. \NAMECITE{Programming}{% Bichler:2020:LRO,% Mesnard:2020:SUC,% Su:2020:UAN,% Tarzariol:2020:TLP% }. \NAMECITE{Programs}{% Cassez:2021:VPS,% Lanese:2021:CCR,% Sima:2021:PTC% }. \NAMECITE{Progression}{% Przybyszewski:2020:CDD% }. \NAMECITE{Projection}{% Leko:2020:SIP% }. \NAMECITE{Projections}{% Koczkodaj:2020:OPS% }. \NAMECITE{Proof}{% Wehler:2021:PFC,% Geuvers:2022:CBE% }. \NAMECITE{Properties}{% Frei:2020:RPR,% Wallner:2022:SAU,% Zhengwei:2021:TBF% }. \NAMECITE{Property}{% Polkowski:2020:CPM% }. \NAMECITE{Propositional}{% Djordjevic:2020:PML% }. \NAMECITE{Protocol}{% Tioura:2020:HPS% }. \NAMECITE{Protocols}{% Conchon:2021:DPV,% Lee:2022:IUB% }. \NAMECITE{Proving}{% Ghosal:2020:PPS% }. \NAMECITE{Pseudo}{% Chen:2020:MPB% }. \NAMECITE{Pseudo-{Boolean}}{% Chen:2020:MPB% }. \NAMECITE{Pure}{% Combi:2021:CSP,% Devillers:2022:SPI% }. \NAMECITE{Pushdown}{% Fernau:2021:SVP% }. \NAMECITE{{Pythagoras}}{% Darkey-Mensah:2021:CLS% }. \NAMECITE{Quantitative}{% Yaman:2021:QVS% }. \NAMECITE{Quantum}{% Oddi:2020:AHB% }. \NAMECITE{Quasi}{% Perez:2021:PTC% }. \NAMECITE{Quasi-{Cartan}}{% Perez:2021:PTC% }. \NAMECITE{Query}{% Zarrabi:2021:QPV,% Zielinski:2021:NDM% }. \NAMECITE{Query-Points}{% Zarrabi:2021:QPV% }. \NAMECITE{Questions}{% Malcher:2021:DQI% }. \NAMECITE{Queue}{% Fernau:2021:SVP% }. \NAMECITE{Queues}{% Fahland:2021:IUE% }. \NAMECITE{Random}{% Abhishek:2022:RNG,% Artiemjew:2021:NEM% }. \NAMECITE{Randomized}{% Oddi:2020:AHB% }. \NAMECITE{Ranges}{% Djordjevic:2020:PML% }. \NAMECITE{Rank}{% Kashiwabara:2020:HOR% }. \NAMECITE{Reachability}{% Skeirik:2020:CBR% }. \NAMECITE{Reaction}{% Barbuti:2021:ETB,% Genova:2020:CEM% }. \NAMECITE{Reactivity}{% Andre:2021:PSA% }. \NAMECITE{Read}{% Sima:2021:PTC% }. \NAMECITE{Read-Once}{% Sima:2021:PTC% }. \NAMECITE{Real}{% Bes:2022:DDI,% Cassez:2021:VPS,% Geffert:2021:MSC% }. \NAMECITE{Real-Time}{% Cassez:2021:VPS,% Geffert:2021:MSC% }. \NAMECITE{Reasoner}{% Cantone:2021:ISB% }. \NAMECITE{Reasoning}{% Akili:2021:RED,% Caltais:2020:CRS,% Cantone:2020:STA,% Giordano:2020:RAE% }. \NAMECITE{Recognizing}{% Boomari:2021:RVG,% Frei:2020:RPR% }. \NAMECITE{Reconstruction}{% Turpin:2020:PFA% }. \NAMECITE{Rectangular}{% Kopczynski:2020:ARG% }. \NAMECITE{Recursive}{% Borger:2020:BTR,% Bruse:2021:CMC,% Finkel:2021:CTF,% Schmidt-Schauss:2022:NUM% }. \NAMECITE{Red}{% Nagy:2021:CIV% }. \NAMECITE{Reduction}{% Adinayev:2021:DSR% }. \NAMECITE{Refinement}{% Benouhiba:2021:MLR,% Cassez:2021:VPS% }. \NAMECITE{Reflections}{% Artiemjew:2021:NEM% }. \NAMECITE{Reflexive}{% Su:2020:UAN% }. \NAMECITE{Region}{% Kalenkova:2021:ARP% }. \NAMECITE{Regression}{% Chapaneri:2020:SGP% }. \NAMECITE{Regular}{% Frei:2020:RPR,% Gastin:2021:RRL,% Yaman:2021:QVS% }. \NAMECITE{Regularity}{% Courcelle:2022:OTT% }. \NAMECITE{Regularized}{% Lagerwerf:2020:EIA% }. \NAMECITE{Regulatory}{% Barbuti:2021:ETB% }. \NAMECITE{Related}{% Ahmad:2020:CEI,% Malcher:2021:DQI% }. \NAMECITE{Relations}{% Alhazov:2021:RBC,% Diaconescu:2020:MEB,% Kopczynski:2020:ARG,% Maschio:2020:TFC,% Torres:2021:RAL% }. \NAMECITE{Relaxation}{% Carmona:2020:FPM% }. \NAMECITE{Relay}{% Chen:2020:MPB% }. \NAMECITE{rendezvous}{% Catalano:2021:LBR% }. \NAMECITE{Repair}{% Kalenkova:2021:ARP% }. \NAMECITE{Replay}{% Lanese:2021:CCR% }. \NAMECITE{Representation}{% Costantini:2021:AMF% }. \NAMECITE{Residual}{% Turaci:2020:CML% }. \NAMECITE{Residuated}{% Lin:2021:RAS% }. \NAMECITE{resolution}{% Beirinckx:2020:JML% }. \NAMECITE{Resonance}{% Beirinckx:2020:JML% }. \NAMECITE{Resource}{% Albert:2020:FRC% }. \NAMECITE{Resources}{% Fahland:2021:IUE% }. \NAMECITE{Respect}{% Slapal:2021:DJC% }. \NAMECITE{Restarting}{% Otto:2021:CTR,% Wang:2021:LAW% }. \NAMECITE{Restricted}{% Devillers:2022:SPI,% Qi:2020:CID% }. \NAMECITE{Results}{% Brunetti:2020:URG,% Fernau:2021:IDC% }. \NAMECITE{Retraction}{% Fruhwirth:2020:JCH% }. \NAMECITE{Reversibility}{% Escrig:2021:IRS% }. \NAMECITE{Reversible}{% Gastin:2021:RRL,% Lanese:2021:CCR% }. \NAMECITE{Reversing}{% Barylska:2021:ACR% }. \NAMECITE{Rewrite}{% Skeirik:2020:CBR% }. \NAMECITE{Rewriting}{% Adinayev:2021:DSR% }. \NAMECITE{Richness}{% Dolce:2022:MPP% }. \NAMECITE{Right}{% Fajardo:2021:RBA% }. \NAMECITE{Robust}{% Presotto:2020:MSR% }. \NAMECITE{{Roman}}{% Martinez:2022:PDR% }. \NAMECITE{Roots}{% Frei:2020:RPR% }. \NAMECITE{Rough}{% Dagdia:2021:DSD,% Grabowski:2021:ACS,% Jarvinen:2020:SMR,% Syau:2021:VPG,% Torres:2021:RAL,% Wang:2021:NDT,% Zheng:2020:MBR,% Lin:2021:RAS% }. \NAMECITE{Rule}{% Adinayev:2021:DSR,% Bichler:2020:LRO,% Dasgupta:2020:PRM% }. \NAMECITE{Rules}{% Combi:2021:CSP,% Fruhwirth:2020:JCH,% Tzacheva:2020:ARL% }. \NAMECITE{{S4F}}{% Su:2020:UAN% }. \NAMECITE{Safe}{% Barozzini:2022:CAS% }. \NAMECITE{Safety}{% Caltais:2020:CRS% }. \NAMECITE{Satisfaction}{% Wallace:2020:PNS% }. \NAMECITE{Scalable}{% Slezak:2021:PIG% }. \NAMECITE{Scale}{% Brunetti:2020:URG,% Karampelas:2020:TSE,% Leko:2020:SIP% }. \NAMECITE{Scattered}{% Krivka:2021:SCG% }. \NAMECITE{Schedulability}{% Andre:2021:PSA% }. \NAMECITE{Scheduling}{% Albert:2020:FRC,% Marrakchi:2021:SSL% }. \NAMECITE{Schemes}{% Barozzini:2022:CAS% }. \NAMECITE{Science}{% Slezak:2021:PIG% }. \NAMECITE{Search}{% Alviano:2020:UCA,% Eberbach:2022:CCM,% Oddi:2020:AHB% }. \NAMECITE{Second}{% Courcelle:2022:OTT,% Kheirfam:2020:SOC% }. \NAMECITE{Second-order}{% Courcelle:2022:OTT,% Kheirfam:2020:SOC% }. \NAMECITE{Selection}{% Dagdia:2021:DSD,% Leko:2020:SIP,% Truthe:2021:GCC,% Zhao:2020:SNO% }. \NAMECITE{Selective}{% Mesnard:2020:SUC% }. \NAMECITE{Self}{% Fates:2022:SSC,% Fernau:2021:SVP,% Mrozek:2022:UAS,% Pighizzini:2021:NSE% }. \NAMECITE{Self-stabilisation}{% Fates:2022:SSC% }. \NAMECITE{Self-test}{% Mrozek:2022:UAS% }. \NAMECITE{Self-Verifying}{% Fernau:2021:SVP% }. \NAMECITE{Semantics}{% Gorrieri:2021:CSB,% Lanese:2021:CCR% }. \NAMECITE{Semi}{% Fernau:2021:IDC% }. \NAMECITE{Semi-Conditional}{% Fernau:2021:IDC% }. \NAMECITE{Semigroups}{% Mitrovic:2021:TCS,% Teh:2021:FPM% }. \NAMECITE{Sensitive}{% Dagdia:2021:DSD% }. \NAMECITE{Separating}{% Saarela:2021:SWL% }. \NAMECITE{Sequence}{% Mrozek:2022:UAS% }. \NAMECITE{Sequential}{% Alhazov:2021:RBC,% Tarau:2020:DES% }. \NAMECITE{Services}{% Cantone:2020:STA% }. \NAMECITE{Set}{% Bichler:2020:LRO,% Cantone:2020:STA,% Cantone:2021:CAD,% Cantone:2021:ISB,% Dagdia:2021:DSD,% Jin:2021:TFS,% Sima:2021:PTC,% Su:2020:UAN,% Tzacheva:2020:ARL,% Wang:2021:NDT,% Zheng:2020:MBR% }. \NAMECITE{Set-based}{% Cantone:2021:ISB% }. \NAMECITE{Set-theoretic}{% Cantone:2020:STA% }. \NAMECITE{Sets}{% Catalano:2021:LBR,% Combi:2021:CSP,% Jarvinen:2020:SMR,% Syau:2021:VPG,% Valmari:2021:SSF% }. \NAMECITE{Setting}{% Bergstra:2021:UHL% }. \NAMECITE{Shared}{% Fahland:2021:IUE% }. \NAMECITE{Short}{% Flisar:2020:IST% }. \NAMECITE{Shortest}{% Dobronravov:2021:LSS% }. \NAMECITE{Shuffling}{% Halava:2020:SWL% }. \NAMECITE{Sided}{% Holzer:2021:TSS% }. \NAMECITE{Signatures}{% Dasgupta:2020:PRM% }. \NAMECITE{Silent}{% Gorrieri:2021:CSB% }. \NAMECITE{Silico}{% Sinisi:2020:OPT% }. \NAMECITE{Similar}{% Zupanc:2020:IAE% }. \NAMECITE{Similarities}{% Karampelas:2020:TSE% }. \NAMECITE{Simple}{% Fernau:2021:IDC,% Laue:2020:SET,% Zarrabi:2021:QPV% }. \NAMECITE{Simplify}{% Rudi:2021:PVA% }. \NAMECITE{Simply}{% Tarau:2020:DES% }. \NAMECITE{Simply-Typed}{% Tarau:2020:DES% }. \NAMECITE{{Simson}}{% Kasjan:2022:DSO% }. \NAMECITE{Simulation}{% Beirinckx:2020:JML,% Hutagalung:2021:TCM,% Nagy:2021:CIV% }. \NAMECITE{Singleton}{% Wallace:2020:PNS% }. \NAMECITE{Singular}{% Koprowski:2021:CSE% }. \NAMECITE{Size}{% Geffert:2021:MSC,% Ghosal:2020:PPS% }. \NAMECITE{Skeleton}{% Wallner:2022:SAU% }. \NAMECITE{Skeptical}{% Giordano:2020:RAE% }. \NAMECITE{Skew}{% Fajardo:2021:RBA,% Perez:2021:PTC% }. \NAMECITE{Skew-symmetrizable}{% Perez:2021:PTC% }. \NAMECITE{Slicing}{% Falaschi:2020:DSC% }. \NAMECITE{Small}{% Garzon:2022:DNC,% Liu:2020:SUN% }. \NAMECITE{{SMT}}{% Amat:2022:PAP% }. \NAMECITE{{SMT}-Based}{% Amat:2022:PAP% }. \NAMECITE{Social}{% Menegaz:2020:CFB,% Zhao:2020:SNO% }. \NAMECITE{software}{% Paduraru:2020:AVO% }. \NAMECITE{Solution}{% Jin:2021:TFS% }. \NAMECITE{Solve}{% Tioura:2020:HPS% }. \NAMECITE{Solver}{% Konishi:2020:FML% }. \NAMECITE{Solvers}{% Chen:2020:MPB% }. \NAMECITE{Solving}{% Brutsch:2022:SIG,% Manya:2020:STC,% Marrakchi:2021:SSL% }. \NAMECITE{Some}{% Arnold:2022:ACS,% Devillers:2022:SBT,% Grabowski:2021:ACS% }. \NAMECITE{sorted}{% Alpuente:2020:OSH,% Leustean:2020:MSP% }. \NAMECITE{Soundness}{% Felli:2021:SVD% }. \NAMECITE{Space}{% Brutsch:2022:SIG,% Karampelas:2020:TSE,% Koczkodaj:2020:OPS,% Lagerwerf:2020:EIA,% Lin:2020:MBF% }. \NAMECITE{Spaces}{% Polkowski:2020:CPM% }. \NAMECITE{Spanning}{% Cheng:2020:CNI,% Forcan:2022:SSW% }. \NAMECITE{Special}{% Andrejczuk:2020:SIT% }. \NAMECITE{Squares}{% Darkey-Mensah:2021:CLS,% Koprowski:2021:CSE% }. \NAMECITE{stabilisation}{% Fates:2022:SSC% }. \NAMECITE{Stable}{% Alviano:2020:UCA% }. \NAMECITE{State}{% Kalenkova:2021:ARP,% Kutrib:2022:CDP,% Zhang:2021:UMD% }. \NAMECITE{State-Based}{% Kalenkova:2021:ARP% }. \NAMECITE{Static}{% Hanus:2020:CSD,% Marrakchi:2021:SSL% }. \NAMECITE{Steps}{% Escrig:2021:IRS% }. \NAMECITE{Stochastic}{% Hillston:2021:PSN,% Yaman:2021:QVS% }. \NAMECITE{Stop}{% Desel:2020:STP% }. \NAMECITE{Stop-transitions}{% Desel:2020:STP% }. \NAMECITE{Storage}{% Cho:2020:AGN,% Macyna:2020:FAS% }. \NAMECITE{Strategies}{% Oddi:2020:AHB% }. \NAMECITE{Strategy}{% Presotto:2020:MSR% }. \NAMECITE{Streaming}{% Filiot:2021:CSS% }. \NAMECITE{Strength}{% Ahmad:2020:CEI% }. \NAMECITE{Strictly}{% Holzer:2021:TSS% }. \NAMECITE{String}{% Adinayev:2021:DSR,% Filiot:2021:CSS,% Karampelas:2020:TSE% }. \NAMECITE{Strings}{% Alzamel:2020:CDS,% Dobronravov:2021:LSS% }. \NAMECITE{Strong}{% Gonzalez:2021:GTF% }. \NAMECITE{Structural}{% Benouhiba:2021:MLR,% Jancar:2022:SLI,% Thierry-Mieg:2021:SSM% }. \NAMECITE{Structure}{% Abramsky:2022:SPE,% Adamson:2021:HEM,% Jarvinen:2020:SMR% }. \NAMECITE{Structured}{% Chapaneri:2020:SGP% }. \NAMECITE{Structures}{% Czaja:2021:EEC,% Forcan:2022:SSW,% Lin:2021:RAS% }. \NAMECITE{Stubborn}{% Valmari:2021:SSF% }. \NAMECITE{Study}{% Beirinckx:2020:JML,% Dagdia:2021:DSD,% Grabowski:2021:ACS% }. \NAMECITE{Subdivision}{% Ciftci:2020:DTD% }. \NAMECITE{Subgraphs}{% Adinayev:2021:DSR% }. \NAMECITE{Subregular}{% Truthe:2021:GCC% }. \NAMECITE{Substitution}{% Halava:2020:SWL% }. \NAMECITE{Sum}{% Darkey-Mensah:2021:CLS% }. \NAMECITE{Super}{% Beirinckx:2020:JML% }. \NAMECITE{Super-resolution}{% Beirinckx:2020:JML% }. \NAMECITE{Surfaces}{% Slapal:2021:DJC% }. \NAMECITE{Symbolic}{% Alpuente:2020:ACS,% Thierry-Mieg:2021:SSM% }. \NAMECITE{Symbols}{% Otto:2021:CTR% }. \NAMECITE{Symmetric}{% Kheirfam:2020:SOC% }. \NAMECITE{symmetrizable}{% Perez:2021:PTC% }. \NAMECITE{Syntactic}{% Artemov:2022:TSE% }. \NAMECITE{Synthesis}{% Alpuente:2020:ACS,% Benouhiba:2021:MLR,% Best:2020:TOP,% Cassez:2021:VPS,% Devillers:2021:APT,% Devillers:2022:SBT,% Devillers:2022:SPI,% Sofronie-Stokkermans:2020:PSV,% Tredup:2021:CSB% }. \NAMECITE{System}{% Adinayev:2021:DSR,% Andre:2021:PSA,% Genova:2020:CEM,% Massazza:2021:DSA,% Tsumoto:2021:MCP% }. \NAMECITE{Systems}{% Abbes:2022:IPC,% Andrejczuk:2020:SIT,% Arcile:2020:DEM,% Barbuti:2021:ETB,% Devillers:2021:APT,% Fahland:2021:IUE,% Jin:2021:TFS,% Liu:2020:SUN,% Malcher:2021:DQI,% Marrakchi:2021:SSL,% Sofronie-Stokkermans:2020:PSV,% Zhang:2021:UMD% }. \NAMECITE{{Szilard}}{% Paul:2020:SLL% }. \NAMECITE{tableaux}{% Kaniecki:2020:CAB% }. \NAMECITE{Tables}{% Syau:2021:VPG% }. \NAMECITE{Tail}{% Bruse:2021:CMC% }. \NAMECITE{Tail-Recursive}{% Bruse:2021:CMC% }. \NAMECITE{Target}{% Best:2020:TOP% }. \NAMECITE{Target-oriented}{% Best:2020:TOP% }. \NAMECITE{Tasks}{% Arcile:2020:DEM% }. \NAMECITE{Taxonomy}{% Cantone:2021:CAD,% Otto:2021:CTR% }. \NAMECITE{Team}{% Manya:2020:STC% }. \NAMECITE{TEAMAS}{% Andrejczuk:2020:SIT% }. \NAMECITE{Teams}{% Andrejczuk:2020:SIT% }. \NAMECITE{Technique}{% Dagdia:2021:DSD% }. \NAMECITE{Techniques}{% Brodo:2020:VTN,% Devillers:2022:SBT% }. \NAMECITE{Temporal}{% Wallner:2022:SAU% }. \NAMECITE{Tensor}{% Laue:2020:SET% }. \NAMECITE{Termination}{% Finkel:2021:CTF% }. \NAMECITE{Terms}{% Tarau:2020:DES% }. \NAMECITE{test}{% Mrozek:2022:UAS% }. \NAMECITE{Testable}{% Holzer:2021:TSS% }. \NAMECITE{Testing}{% Valmari:2021:SSF,% Zhengwei:2021:TBF% }. \NAMECITE{Text}{% Flisar:2020:IST% }. \NAMECITE{their}{% Cho:2020:AGN,% Devillers:2021:APT,% Wronski:2021:HDC% }. \NAMECITE{Theorem}{% Wehler:2021:PFC% }. \NAMECITE{theoretic}{% Berghammer:2020:ECL,% Cantone:2020:STA,% Courcelle:2022:OTT% }. \NAMECITE{Theoretical}{% Gonzalez:2021:GTF% }. \NAMECITE{Theories}{% Skeirik:2020:CBR% }. \NAMECITE{Theory}{% Bes:2022:DDI,% Borger:2020:BTR,% Cantone:2021:CAD,% Fruhwirth:2020:JCH,% Kalenkova:2021:ARP,% Mitrovic:2021:TCS,% Zheng:2020:MBR% }. \NAMECITE{There}{% Danvy:2022:GTB% }. \NAMECITE{Threshold}{% Barbuti:2021:ETB% }. \NAMECITE{Thresholds}{% Liu:2020:SUN% }. \NAMECITE{Tilings}{% Fates:2022:SSC% }. \NAMECITE{Time}{% Cassez:2021:VPS,% Catalano:2021:LBR,% Geffert:2021:MSC,% Jin:2021:TFS,% Karampelas:2020:TSE,% Lime:2021:CPP,% Sima:2021:PTC,% Sureson:2021:IAF,% Perez:2021:PTC% }. \NAMECITE{Time-free}{% Jin:2021:TFS% }. \NAMECITE{Timed}{% Arcile:2020:DEM,% Sproston:2021:PTA% }. \NAMECITE{Tolerant}{% Chen:2020:MPB% }. \NAMECITE{Tomographic}{% Turpin:2020:PFA% }. \NAMECITE{Tomography}{% Lagerwerf:2020:EIA,% Leko:2020:SIP,% Presotto:2020:MSR% }. \NAMECITE{Tool}{% Bichler:2020:LRO,% Tarzariol:2020:TLP% }. \NAMECITE{Topological}{% Hutagalung:2021:TCM,% Lin:2020:MBF% }. \NAMECITE{Topology}{% Maschio:2020:TFC% }. \NAMECITE{Total}{% Ciftci:2020:DTD% }. \NAMECITE{Totient}{% Hittmeir:2020:DIF% }. \NAMECITE{Trace}{% Cassez:2021:VPS% }. \NAMECITE{Transducers}{% Filiot:2021:CSS,% Kutrib:2022:CDP% }. \NAMECITE{Transition}{% Devillers:2021:APT% }. \NAMECITE{transitions}{% Desel:2020:STP% }. \NAMECITE{Translation}{% Albert:2020:FRC% }. \NAMECITE{Transtopic}{% Menegaz:2020:CFB% }. \NAMECITE{Transversal}{% Wang:2021:NDT% }. \NAMECITE{Trapezoid}{% Nguyen:2021:EAM% }. \NAMECITE{Treatment}{% Sinisi:2020:OPT% }. \NAMECITE{Tree}{% Ganty:2021:CBP% }. \NAMECITE{Trees}{% Andre:2021:PAA,% Arockiaraj:2021:OWB,% Baca:2022:LAV,% Cheng:2020:CNI,% Courcelle:2022:OTT% }. \NAMECITE{Trials}{% Sinisi:2020:OPT% }. \NAMECITE{Triangular}{% Marrakchi:2021:SSL% }. \NAMECITE{Triangulated}{% Boomari:2021:RVG% }. \NAMECITE{Tubular}{% Dowbor:2020:CCT% }. \NAMECITE{{Turing}}{% Nagy:2021:CIV% }. \NAMECITE{{Tutte}}{% Kotek:2022:TMP% }. \NAMECITE{Twins}{% Sinisi:2020:OPT% }. \NAMECITE{Twisted}{% Drylo:2021:CTJ% }. \NAMECITE{Two}{% Dobronravov:2021:LSS,% Holzer:2021:TSS% }. \NAMECITE{Two-Sided}{% Holzer:2021:TSS% }. \NAMECITE{Two-way}{% Dobronravov:2021:LSS% }. \NAMECITE{Type}{% Gonzalez:2021:GTF,% Gonzalez:2022:CIN% }. \NAMECITE{Typed}{% Tarau:2020:DES% }. \NAMECITE{Unambiguous}{% Finkel:2021:EPN% }. \NAMECITE{unary}{% Kopczynski:2020:ARG% }. \NAMECITE{Uncertainty}{% Keikha:2021:CGM% }. \NAMECITE{Unification}{% Mesnard:2020:SUC,% Schmidt-Schauss:2022:NUM% }. \NAMECITE{Unified}{% Zhang:2021:UMD% }. \NAMECITE{Uniform}{% Kutrib:2022:CDP% }. \NAMECITE{Unifying}{% Su:2020:UAN% }. \NAMECITE{Uniqueness}{% Brunetti:2020:URG% }. \NAMECITE{Unit}{% Gonzalez:2021:GTF,% Gonzalez:2022:CIN% }. \NAMECITE{Universal}{% Liu:2020:SUN,% Mrozek:2022:UAS,% Wallner:2022:SAU% }. \NAMECITE{Unobserved}{% Fahland:2021:IUE% }. \NAMECITE{Unsatisfiable}{% Alviano:2020:UCA% }. \NAMECITE{Uses}{% Lee:2022:IUB% }. \NAMECITE{Using}{% Berghammer:2020:ECL,% Bergstra:2021:UHL,% Kalenkova:2021:ARP,% Konishi:2020:FML,% Leko:2020:SIP,% Wehler:2021:PFC,% Carmona:2020:FPM,% Cassez:2021:VPS,% Flisar:2020:IST,% Jin:2021:TFS,% Karampelas:2020:TSE% }. \NAMECITE{Valued}{% Francez:2022:GFF,% Diaconescu:2020:MEB,% Kaminski:2022:NCN,% Nagy:2021:CIV% }. \NAMECITE{Variable}{% Felli:2021:SVD,% Syau:2021:VPG% }. \NAMECITE{Variable-to-Variable}{% Felli:2021:SVD% }. \NAMECITE{Verification}{% Alpuente:2020:ACS,% Brodo:2020:VTN,% Cassez:2021:VPS,% Conchon:2021:DPV,% Felli:2021:SVD,% Sofronie-Stokkermans:2020:PSV,% Yaman:2021:QVS% }. \NAMECITE{Verifying}{% Fernau:2021:SVP% }. \NAMECITE{Vertex}{% Baca:2022:LAV% }. \NAMECITE{Vertices}{% Rudi:2021:PVA% }. \NAMECITE{via}{% Conchon:2021:DPV,% Redeker:2022:NCP% }. \NAMECITE{Vicinity}{% Lin:2021:RAS% }. \NAMECITE{Virtual}{% Paduraru:2020:AVO% }. \NAMECITE{Visibility}{% Boomari:2021:RVG,% Zarrabi:2021:QPV% }. \NAMECITE{Walker}{% Forcan:2022:SSW% }. \NAMECITE{way}{% Dobronravov:2021:LSS% }. \NAMECITE{Weighted}{% Wang:2021:LAW% }. \NAMECITE{Wheel}{% Ahmad:2020:CEI% }. \NAMECITE{wide}{% Kheirfam:2020:SOC% }. \NAMECITE{Width}{% Sima:2021:PTC% }. \NAMECITE{Wirelength}{% Arockiaraj:2021:OWB% }. \NAMECITE{Wireless}{% Chen:2020:MPB% }. \NAMECITE{without}{% Otto:2021:CTR% }. \NAMECITE{Word}{% Halava:2020:SWL% }. \NAMECITE{Words}{% Finkel:2021:EPN,% Saarela:2021:SWL% }.