Abstract
Lávička Tomáš, Přenosil Adam
: ISRALOG'17 Abstract Booklet, p. 104-107
: ISRALOG 2017. Israeli Workshop on Non-Classical Logics and Their Applications /3./, (Haifa, IL, 15.10.2017-17.10.2017)
: BA