Maximal frequencies of equivalences with small classes. - Jirí Demel (Discret. Math., 1978)

Several algorithms for finite algebras. - Marie Demlová; Jirí Demel; Václav Koubek (FCT, 1979)

On Subdirectly Irreducible Automata. - Marie Demlová; Jirí Demel; Václav Koubek (RAIRO Theor. Informatics Appl., 1981)

Fast algorithms for finding a subdirect decomposition and interesting congruences of finite algebras. - Jirí Demel (Kybernetika, 1982)

Fast Algorithms Constructing Minimal Subalgebras, Congruences, and Ideals in a Finite Algebra. - Jirí Demel; Marie Demlová; Václav Koubek (Theor. Comput. Sci., 1985)

On one NP-complete problem. - Jirí Demel; Marie Demlová (Kybernetika, 1995)