Petermann, U. 2004. On the practical value of Herbrand disjunctions. Logic and Logical Philosophy. 8, 8 (Jan. 2004), 153–180. DOI:https://doi.org/10.12775/LLP.2000.009.