Gerhardy, P. and Kohlenbach, U. (2003) “Extracting Herbrand Disjunctions by Functional Interpretation”, BRICS Report Series, 10(32). doi: 10.7146/brics.v10i32.21800.