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