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{Kassing:1024460,
      author       = {Kassing, Jan-Christoph and Giesl, Jürgen},
      title        = {{F}rom {I}nnermost to {F}ull {P}robabilistic {T}erm
                      {R}ewriting: {A}lmost-{S}ure {T}ermination, {C}omplexity,
                      and {M}odularity},
      journal      = {Logical methods in computer science : LMCS},
      volume       = {21},
      number       = {4},
      issn         = {1860-5974},
      address      = {Braunschweig},
      publisher    = {Department of Theoretical Computer Science, Technical
                      University of Braunschweig},
      reportid     = {RWTH-2026-00080},
      pages        = {28},
      year         = {2025},
      cin          = {121420 / 120000 / 080060},
      ddc          = {004},
      cid          = {$I:(DE-82)121420_20140620$ / $I:(DE-82)120000_20140620$ /
                      $I:(DE-82)080060_20170720$},
      typ          = {PUB:(DE-HGF)16},
      UT           = {WOS:001640154500001},
      doi          = {10.46298/lmcs-21(4:28)2025},
      url          = {https://publications.rwth-aachen.de/record/1024460},
}