On the relation of three-valued logic to modal logic Kamila Bendová — 1981 Commentationes Mathematicae Universitatis Carolinae
Contributions to automatic construction and optimalization of identification keys Kamila Bendová — 1973 Kybernetika
Recognizable filters and ideals Václav Benda; Kamila Bendová — 1976 Commentationes Mathematicae Universitatis Carolinae
A logical analysis of the truth-reaction paradox Kamila Bendová; Petr Hájek — 1982 Commentationes Mathematicae Universitatis Carolinae
On families recognizable by finite branching automata Václav Benda; Kamila Bendová — 1977 Kybernetika
The GUHA method and the three-valued logic Petr Hájek; Kamila Bendová; Zdeněk Renc — 1971 Kybernetika