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