Kohlenbach, U. “Intuitionistic Choice and Restricted Classical Logic”. BRICS Report Series, vol. 7, no. 12, Jan. 2000, doi:10.7146/brics.v7i12.20139.