Šemrl, A. L. -. S. J. (2023). Implication Algebras and Implication Semigroups of Binary Relations.

Jipsen, P., & Šemrl, J. (2023). Representable and diagonally representable weakening relation algebras.

Hirsch, R., & Semrl, J. (2021). Demonic Lattices and Semilattices in Relational Semigroups with Ordinary Composition. Proceedings - Symposium on Logic in Computer Science, 2021-June. doi:10.1109/LICS52264.2021.9470509

Šemrl, J. (2021). Domain Range Semigroups and Finite Representations. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 13027 LNCS, 483-498. Springer. doi:10.1007/978-3-030-88701-8_29

Šemrl, J. (2021). Finite Representation Property for Relation Algebra Reducts. .

Hirsch, R., & Semrl, J. (n.d.). Finite Representability of Semigroups with Demonic Refinement. .