Petermann, Uwe. 2004. “On the Practical Value of Herbrand Disjunctions”. Logic and Logical Philosophy 8 (8):153-80. https://doi.org/10.12775/LLP.2000.009.