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