1.
Gerhardy P, Kohlenbach U. Extracting Herbrand Disjunctions by Functional Interpretation. BRICS [Internet]. 2003 Oct. 6 [cited 2024 Mar. 29];10(32). Available from: https://tidsskrift.dk/brics/article/view/21800