@techreport{gurevich1997some,
author = {Gurevich, Yuri and Veanes, Margus},
title = {Some undecidable problems related to the Herbrand theorem},
series = {UPMAIL Technical Reports},
year = {1997},
month = {March},
abstract = {We improve upon a number of recent undecidability results related to the so­called Herbrand Skeleton Problem, the Simultaneous Rigid E-­Unification Problem and the prenex fragment of intuitionistic logic with equality.},
url = {http://approjects.co.za/?big=en-us/research/publication/some-undecidable-problems-related-to-the-herbrand-theorem/},
number = {UPMAIL-TR-138},
}