Lemma Synthesis for Automating Induction over Algebraic Data Types.

Weikun Yang, Grigory Fedyukovich, Aarti Gupta

Browse the full CP paper archive.