## Andrei Voronkov

*Herbrand’s Theorem, Automated Reasoning and Semantics Tableaux*

LICS, 1998.

@inproceedings{LICS-1998-Voronkov, author = "Andrei Voronkov", booktitle = "{Proceedings of the 13th Annual IEEE Symposium on Logic in Computer Science}", doi = "10.1109/LICS.1998.705662", isbn = "0-8186-8506-9", pages = "252--263", publisher = "{IEEE Computer Society}", title = "{Herbrand’s Theorem, Automated Reasoning and Semantics Tableaux}", year = 1998, }