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