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{Feng:958360,
      author       = {Feng, Shenghua and Chen, Mingshuai and Su, Han and
                      Kaminski, Benjamin Lucien and Katoen, Joost-Pieter and Zhan,
                      Naijun},
      title        = {{L}ower {B}ounds for {P}ossibly {D}ivergent {P}robabilistic
                      {P}rograms},
      journal      = {Proceedings of the ACM on programming languages},
      volume       = {7},
      number       = {OOPSLA1},
      issn         = {2475-1421},
      address      = {New York, NY, USA},
      publisher    = {ACM},
      reportid     = {RWTH-2023-05232},
      pages        = {99},
      year         = {2023},
      month         = {Oct},
      date          = {2023-10-23},
      organization  = {International Conference on
                       Object-Oriented Programming Systems,
                       Languages, and Applications, Cascais
                       (Portugal), 23 Oct 2023 - 27 Oct 2023},
      cin          = {121310 / 120000},
      ddc          = {004},
      cid          = {$I:(DE-82)121310_20140620$ / $I:(DE-82)120000_20140620$},
      typ          = {PUB:(DE-HGF)16},
      UT           = {WOS:000968084600026},
      doi          = {10.1145/3586051},
      url          = {https://publications.rwth-aachen.de/record/958360},
}