Publications in Scientific Journals:

A. Ciabattoni, F. Genco:
"Hypersequents and Systems of Rules: Embeddings and Applications.";
ACM Transactions on Computational Logic, 19 (2018), 2; 1 - 27.

"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)

Electronic version of the publication:

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