Petermann, U. “On the Practical Value of Herbrand Disjunctions”. Logic and Logical Philosophy, vol. 8, no. 8, Jan. 2004, pp. 153-80, doi:10.12775/LLP.2000.009.