The lattice of bi-numerations of arithmetic. II. Marie Hájková — 1971 Commentationes Mathematicae Universitatis Carolinae
The lattice of bi-numerations of arithmetic. I. Marie Hájková — 1971 Commentationes Mathematicae Universitatis Carolinae
On interpretability in theories containing arithmetic Marie Hájková; Petr Hájek — 1972 Fundamenta Mathematicae
The expert system shell EQUANT-PC: brief information Petr Hájek; Marie Hájková; Tomáš Havránek; Milan Daniel — 1989 Kybernetika