Kohlenbach, U. A Note on Spector’s Quantifier-Free Rule of Extensionality. BRICS 1999, 6.