Korovina, Margarita. “Fixed Points on Abstract Structures Without the Equality Test”. BRICS Report Series 9, no. 26 (June 5, 2002). Accessed May 29, 2023. https://tidsskrift.dk/brics/article/view/21742.