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