Robin Hirsch: Decidability of Equational Theories for Subsignatures of Relation Algebra. RAMiCS 2018: 87-96