1. Implication Algebras and Implication Semigroups of Binary Relations;Relational and Algebraic Methods in Computer Science;2023
2. Undecidability of Algebras of Binary Relations;Hajnal Andréka and István Németi on Unity of Science;2021
3. Join-completions of partially ordered algebras;Annals of Pure and Applied Logic;2020-12
4. Embeddability into relational lattices is undecidable;Journal of Logical and Algebraic Methods in Programming;2018-06
5. Decidability of Equational Theories for Subsignatures of Relation Algebra;Relational and Algebraic Methods in Computer Science;2018