Fixed points on abstract structures without the equality test.

Margarita V. Korovina Fixed points on abstract structures without the equality test. 58-60 2002 conf/fics/2002 FICS db/conf/fics/fics2002.html#Korovina02