The GUHA method and the three-valued logic. - Petr Hájek 001; Kamila Bendová; Zdenek Renc (Kybernetika, 1971)

Decision Trees: A Contribution to Automatic Interpretation of GUHA Results. - Zdenek Renc; Lenka Setikovska (Int. J. Man Mach. Stud., 1985)

Teaching Artificial Intelligence at the Faculty of Mathematics and Physics, Charles University. - Zdenek Renc (Artificial Intelligence in Higher Education, 1989)