Petermann U. On the practical value of Herbrand disjunctions. LLP [Internet]. 2004 Jan. 18 [cited 2024 Jul. 25];8(8):153-80. Available from: https://apcz.umk.pl/LLP/article/view/LLP.2000.009