![](/img/cover-not-exists.png)
On the Generation of Quantified Lemmas
Ebner, Gabriel, Hetzl, Stefan, Leitsch, Alexander, Reis, Giselle, Weller, DanielLanguage:
english
Journal:
Journal of Automated Reasoning
DOI:
10.1007/s10817-018-9462-8
Date:
March, 2018
File:
PDF, 967 KB
english, 2018