Gerhardy P, Kohlenbach U. Extracting Herbrand Disjunctions by Functional Interpretation. BRICS [Internet]. 6. oktober 2003 [henvist 5. december 2025];10(32). Tilgængelig hos: https://tidsskrift.dk/brics/article/view/21800