Conference Paper (international conference)
Kramosil Ivan
: LOGICA '91. Proceedings of the International Symposium, p. 173-187 , Eds: Svoboda V., Zapletal I.
: LOGICA '91, (Bechyně, CS, 15.04.1991-17.04.1991)