The GUHA method and the three-valued logic. - Petr Hájek 001; Kamila Bendová; Zdenek Renc (Kybernetika, 1971)

Contributions to automatic construction and optimalization of identification keys. - Kamila Bendová (Kybernetika, 1973)

On Specfic Features of Recognizable Families of Languages. - Václav Benda; Kamila Bendová (MFCS, 1976)

Characterization of Recognizable Families by Means of Regular Languages. - Václav Benda; Kamila Bendová (MFCS, 1977)

On families recognizable by finite branching automata. - Václav Benda; Kamila Bendová (Kybernetika, 1977)

A note on Gödel fuzzy logic. - Kamila Bendová (Soft Comput., 1998)

On inter-expressibility of logical connectives in Gödel fuzzy logic. - Vítezslav Svejdar; Kamila Bendová (Soft Comput., 2000)

On ordering and multiplication of natural numbers. - Kamila Bendová (Arch. Math. Log., 2001)

Interpolation and Three-valued Logics. - Kamila Bendová (Reports Math. Log., 2005)

A weak essentially undecidable theory. - Kamila Bendová (Reports Math. Log., 2007)