%0 Journal Article %1 journals/pacmpl/MuraliPBLM22 %A Murali, Adithya %A Peña, Lucas %A Blanchard, Eion %A Löding, Christof %A Madhusudan, P. %D 2022 %J Proc. ACM Program. Lang. %K dblp %N OOPSLA2 %P 1873-1902 %T Model-guided synthesis of inductive lemmas for FOL with least fixpoints. %U http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl6.html#MuraliPBLM22 %V 6

@article{journals/pacmpl/MuraliPBLM22, added-at = {2022-12-05T00:00:00.000+0100}, author = {Murali, Adithya and Peña, Lucas and Blanchard, Eion and Löding, Christof and Madhusudan, P.}, biburl = {https://www.bibsonomy.org/bibtex/26d96f71691b7fd13058d319d3e6cb32a/dblp}, ee = {https://doi.org/10.1145/3563354}, interhash = {b44eba85d84939f0b9e3db17b9a3e631}, intrahash = {6d96f71691b7fd13058d319d3e6cb32a}, journal = {Proc. ACM Program. Lang.}, keywords = {dblp}, number = {OOPSLA2}, pages = {1873-1902}, timestamp = {2024-04-08T09:54:41.000+0200}, title = {Model-guided synthesis of inductive lemmas for FOL with least fixpoints.}, url = {http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl6.html#MuraliPBLM22}, volume = 6, year = 2022 }