h1

h2

h3

h4

h5
h6
%0 Journal Article
%A Murali, Adithya
%A Peña, Lucas
%A Blanchard, Eion
%A Löding, Christof
%A Madhusudan, P.
%T Model-guided synthesis of inductive lemmas for FOL with least fixpoints
%J Proceedings of the ACM on programming languages
%V 6
%N OOPSLA2
%@ 2475-1421
%C New York, NY, USA
%I ACM
%M RWTH-2024-02754
%P 1873-1902
%D 2022
%Z Hefttitel: OOPSLA2
%B Object-Oriented Programming, Systems, Languages, and Applications
%C ,  ()
%F PUB:(DE-HGF)16
%9 Journal Article
%U <Go to ISI:>//WOS:001083750200068
%R 10.1145/3563354
%U https://publications.rwth-aachen.de/record/981076