Towards an integrated theory of formal and natural languages. - Petr Jirku (Kybernetika, 1975)

Inferencing And Search For An Answer In TIBAQ. - Petr Jirku; Jan Hajic (COLING, 1982)

On Verbosity Levels In Cognitive Problem Solvers. - Petr Jirku; Tomás Havránek (COLING, 1982)

Nonmonotonic reasoning and logic programming. - Petr Jirku (Knowl. Based Syst., 1990)