[Back]


Publications in Scientific Journals:

D. Cerna, A. Leitsch, A. Lolic:
"Schematic Refutations of Formula Schemata";
ArXiv, 1902.08055 (2019).


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