Abstract
Bílková Marta, Cintula Petr, Lávička Tomáš
: ISRALOG'17 Abstract Booklet, p. 28-31
: ISRALOG 2017. Israeli Workshop on Non-Classical Logics and Their Applications /3./, (Haifa, IL, 15.10.2017-17.10.2017)
: BA