[Back]


Publications in Scientific Journals:

G. Ebner, S. Hetzl, A. Leitsch, G. Reis, D. Weller:
"On the Generation of Quantified Lemmas";
Journal of Automated Reasoning, 63 (2019), 1; 95 - 126.


Created from the Publication Database of the Vienna University of Technology.