-
SMRŽ, Pavel. What Can Be Inferred Without Embracive World-Knowledge. In Proceedings of the Second Congress of Logic Applied to Technology. Sao Paulo: Faculdade SENAC de Ciencias Exatas e Tecnologia, 2001, s. 100-105.Podrobněji: https://is.muni.cz/publication/372277/cs