[Back]


Publications in Scientific Journals:

A. Lolic, A. Leitsch:
"Extraction of Expansion Trees";
Journal of Automated Reasoning, 62 (2019), 3; 393 - 430.


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