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