Vilém Novák, Siegfried Gottwald, Petr Hájek Selected papers from the International Conference "The Logic of Soft Computing IV" and Fourth workshop of the ERCIM working group on soft computing. [Citation Graph (0, 0)][DBLP] Fuzzy Sets and Systems, 2007, v:158, n:6, pp:595-596 [Journal]
Rostislav Horcík On the failure of standard completeness in PiMTL for infinite theories. [Citation Graph (0, 0)][DBLP] Fuzzy Sets and Systems, 2007, v:158, n:6, pp:619-624 [Journal]