Ramsey Varieties. - Jaroslav Jezek; Jaroslav Nezetril (Eur. J. Comb., 1983)

Term Rewrite Systems for Lattice Theory. - Ralph Freese; Jaroslav Jezek; James B. Nation (J. Symb. Comput., 1993)

Perfect Bases for Equational Theories. - Jaroslav Jezek; George F. McNulty (J. Symb. Comput., 1995)

The Existence of Finitely Based Lower Covers for Finitely Based Equational Theories. - Jaroslav Jezek; George F. McNulty (J. Symb. Log., 1995)

Linear Equational Theories and Semimodule Representations. - Jaroslav Jezek; Tomás Kepka (Int. J. Algebra Comput., 1998)

Equations of tournaments are not finitely based. - Jaroslav Jezek; Petar Markovic; Miklós Maróti; Ralph McKenzie (Discret. Math., 2000)

Ordinary graphs and subplane partitions. - Marc P. C. Fossorier; Jaroslav Jezek; James B. Nation; Alex Pogel (Discret. Math., 2004)

Definability in Substructure Orderings, II: Finite Ordered Sets. - Jaroslav Jezek; Ralph McKenzie (Order, 2010)