Andrzej Szalas Jerzy Tyszkiewicz On the Fixpoint Theory of Equality and Its Applications. 388-401 2006 conf/RelMiCS/2006 RelMiCS http://dx.doi.org/10.1007/11828563_26 db/conf/RelMiCS/RelMiCS2006.html#SzalasT06