h1

h2

h3

h4

h5
h6
% 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{Murali:981076,
      author       = {Murali, Adithya and Peña, Lucas and Blanchard, Eion and
                      Löding, Christof and Madhusudan, P.},
      title        = {{M}odel-guided synthesis of inductive lemmas for {FOL} with
                      least fixpoints},
      journal      = {Proceedings of the ACM on programming languages},
      volume       = {6},
      number       = {OOPSLA2},
      issn         = {2475-1421},
      address      = {New York, NY, USA},
      publisher    = {ACM},
      reportid     = {RWTH-2024-02754},
      pages        = {1873-1902},
      year         = {2022},
      note         = {Hefttitel: OOPSLA2},
      organization  = {Object-Oriented Programming, Systems,
                       Languages, and Applications,},
      cin          = {122910 / 120000},
      ddc          = {004},
      cid          = {$I:(DE-82)122910_20140620$ / $I:(DE-82)120000_20140620$},
      typ          = {PUB:(DE-HGF)16},
      UT           = {WOS:001083750200068},
      doi          = {10.1145/3563354},
      url          = {https://publications.rwth-aachen.de/record/981076},
}