Hirsch, R;
Semrl, J;
(2021)
Demonic Lattices and Semilattices in Relational Semigroups with Ordinary Composition.
In:
2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
IEEE: Rome, Italy.