by Bonchi, Filippo, Gadducci, Fabio, Kissinger, Aleks, Sobocinski, Pawel, Zanasi, Fabio
Published in 2016 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (01.07.2016)

by Galatos, Nikolaos, Jipsen, Peter, Kowalski, Tomasz, Ono, Hiroakira
Year of Publication 25.04.2007

by Bonchi, Filippo, Gadducci, Fabio, Kissinger, Aleks, Sobocinski, Pawel, Zanasi, Fabio
Published in arXiv.org (23.02.2016)

by Elgueta, Raimon
Published in Mathematical logic quarterly (1999)

by Andréka, Hajnal, Givant, Steven, Németi, István
Published in Decision Problems for Equational Theories of Relation Algebras (1997)