Metoda GUHA : automatická tvorba hypotéz - Hájek, Petr, 1940-; Havránek, Tomáš, 1947-1991; Chytil, Metoděj K. (Academia, 1983)