Petermann, U. On the Practical Value of Herbrand Disjunctions. LLP 2004, 8, 153-180.