Publications in Scientific Journals:
A. Zamansky, M. Baaz et al.:
"Finite-valued Semantics for Canonical Labelled Calculi";
Journal of Automated Reasoning,
51
(2013),
4;
401
- 430.
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
http://dx.doi.org/10.1007/s10817-013-9273-x
Created from the Publication Database of the Vienna University of Technology.