PETERMANN, Uwe. On the practical value of Herbrand disjunctions. Logic and Logical Philosophy. Online. 18 January 2004. Vol. 8, no. 8, pp. 153-180. [Accessed 25 July 2024]. DOI 10.12775/LLP.2000.009.