U. Kohlenbach, “Intuitionistic Choice and Restricted Classical Logic”, BRICS, vol. 7, no. 12, Jan. 2000.