TY  - RPRT
TI  - A Decision Procedure for Herbrand Formulae without Skolemization
AU  - Timm Lampert
PY  - 2017
UR  - https://arxiv.org/abs/1709.00191
ID  - 1709.00191
ER  -