Representations and completions for ordered algebraic structures. - Rob Egrot (2013)

Meet-completions and ordered domain algebras. - Rob Egrot; Robin Hirsch (Log. J. IGPL, 2015)

Representable posets. - Rob Egrot (J. Appl. Log., 2016)

No finite axiomatizations for posets embeddable into distributive lattices. - Rob Egrot (Ann. Pure Appl. Log., 2018)

Recursive axiomatizations from separation properties. - Rob Egrot (CoRR, 2019)

Recursive axiomatizations for representable posets. - Rob Egrot (Int. J. Algebra Comput., 2019)

Order polarities. - Rob Egrot (J. Log. Comput., 2020)

Recursive Axiomatisations from separation Properties. - Rob Egrot (J. Symb. Log., 2021)

Seurat games on Stockmeyer graphs. - Rob Egrot; Robin Hirsch (J. Graph Theory, 2022)

First-order Axiomatisations of Representable Relation Algebras Need Formulas of Unbounded Quantifier depth. - Rob Egrot; Robin Hirsch (J. Symb. Log., 2022)

Amalgamating Poset Extensions and Generating Free Lattices. - Rob Egrot (Order, 2023)