Jürgen Dix, Martin Kummer. Herbrand s Theorem for Nonstandard Inference Operations. Journal of Logic and Computation, 4(2):143-156, 1994.
@article{DixK94, title = {Herbrand s Theorem for Nonstandard Inference Operations}, author = {Jürgen Dix and Martin Kummer}, year = {1994}, researchr = {https://researchr.org/publication/DixK94}, cites = {0}, citedby = {0}, journal = {Journal of Logic and Computation}, volume = {4}, number = {2}, pages = {143-156}, }