Kohlenbach, Ulrich. “Intuitionistic Choice and Restricted Classical Logic”. BRICS Report Series, bd. 7, nr. 12, januar 2000, doi:10.7146/brics.v7i12.20139.