The GUHA method of automatic hypotheses determination. - Petr Hájek 001; Ivan Havel; Metodej K. Chytil (Computing, 1966)

GUHA - the method of systematical hypotheses searching. - Petr Hájek 001; Ivan Havel; Metodej K. Chytil (Kybernetika, 1966)

The GUHA method of systematical hypotheses searching. II. - Petr Hájek 001; Ivan Havel; Metodej K. Chytil (Kybernetika, 1967)

Sémantique des formules logiques en forme d'équivalence n-aire (demi-modèles). - Metodej K. Chytil (Notre Dame J. Formal Log., 1977)

Computational Linguistics And Its Role In Mechanized Or Man-Machine Cognitive Problem Solving. - Metodej K. Chytil (COLING, 1982)