Metoda GUHA : general unary hypotheses automation - Hájek, Petr (rz1, 1976)