Kohlenbach, U. (1999) “A Note on Spector’s Quantifier-Free Rule of Extensionality”, BRICS Report Series, 6(20). doi: 10.7146/brics.v6i20.20077.