Claudio Gutierrez: Decidability of the equational theory of allegories. RelMiCS 1998: 91-96