Kohlenbach, Ulrich. “A Note on Spector’s Quantifier-Free Rule of Extensionality”. BRICS Report Series 6, no. 20 (January 20, 1999). Accessed November 21, 2024. https://tidsskrift.dk/brics/article/view/20077.