Kohlenbach, U. (2000). Intuitionistic Choice and Restricted Classical Logic. BRICS Report Series, 7(12). https://doi.org/10.7146/brics.v7i12.20139