Title: Decision problems for equational theories of relation algebras
Subjects: Decidability (Mathematical logic), Relation algebras