Korovina, M. Fixed Points on Abstract Structures Without the Equality Test. BRICS 2002, 9.