Publications in Scientific Journals:
S. Hetzl, L. Strassburger:
"Herbrand-Confluence";
Logical Methods in Computer Science,
9
(2013),
4;
1
- 25.
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
http://dx.doi.org/10.48550/arXiv.1310.8156
Created from the Publication Database of the Vienna University of Technology.