Metoda GUHA : automatická tvorba hypotéz - Hájek, Petr, 1940-2016 (Academia, 1983)