Decision Problems for Equational Theories of Relation Algebras
-
pocket
,
Engelska, 1997