Return to Article Details On the practical value of Herbrand disjunctions Download Download PDF