Decision Problems for Equational Theories of Relation Algebras
-
pokkari
,
Englanti, 1997