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