h1

% IMPORTANT: The following is UTF-8 encoded.  This means that in the presence
% of non-ASCII characters, it will not work with BibTeX 0.99 or older.
% Instead, you should use an up-to-date BibTeX implementation like “bibtex8” or
% “biber”.

@ARTICLE{Grdel:981847,
      author       = {Grädel, Erich and Lücking, Niels and Naaf, Matthias
                      Ferdinand},
      title        = {{S}emiring {P}rovenance for {B}üchi {G}ames: {S}trategy
                      {A}nalysis with {A}bsorptive {P}olynomials},
      journal      = {Logical methods in computer science : LMCS},
      volume       = {20},
      number       = {1},
      issn         = {1860-5974},
      address      = {Braunschweig},
      publisher    = {Department of Theoretical Computer Science, Technical
                      University of Braunschweig},
      reportid     = {RWTH-2024-03262},
      pages        = {9049},
      year         = {2024},
      cin          = {117220 / 110000},
      ddc          = {004},
      cid          = {$I:(DE-82)117220_20140620$ / $I:(DE-82)110000_20140620$},
      typ          = {PUB:(DE-HGF)16},
      UT           = {WOS:001183820300001},
      doi          = {10.46298/lmcs-20(1:21)2024},
      url          = {https://publications.rwth-aachen.de/record/981847},
}