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