Matthias Baaz, Georg Moser
On a Generalisation of Herbrand’s Theorem
CSL, 2001.
@inproceedings{CSL-2001-BaazM,
author = "Matthias Baaz and Georg Moser",
booktitle = "{Proceedings of the 10th EACSL Annual Conference / 15th International Workshop on Computer Science Logic}",
doi = "10.1007/3-540-44802-0_33",
isbn = "3-540-42554-3",
pages = "469--483",
publisher = "{Springer-Verlag}",
series = "{Lecture Notes in Computer Science}",
title = "{On a Generalisation of Herbrand’s Theorem}",
volume = 2142,
year = 2001,
}