Spornost fuzzy logických teorií v odvozovacích systémech - Havlíček, Petr (2010)
Vedoucí práce: Jiří Ivánek