Gerhardy, Philipp, and Ulrich Kohlenbach. “Extracting Herbrand Disjunctions by Functional Interpretation”. BRICS Report Series 10, no. 32 (October 6, 2003). Accessed January 22, 2026. https://tidsskrift.dk/brics/article/view/21800.