TY  - RPRT
TI  - Model-Guided Synthesis of Inductive Lemmas for FOL with Least Fixpoints
AU  - Adithya Murali
AU  - Lucas Peña
AU  - Eion Blanchard
AU  - Christof Löding
AU  - P. Madhusudan
PY  - 2022
DO  - 10.1145/3563354
UR  - https://arxiv.org/abs/2009.10207
ID  - 2009.10207
ER  -