Anatoli Degtyarev, Yuri Gurevich, Andrei Voronkov. Herbrand s Theorem and Equational Reasoning: Problems and Solutions. Bulletin of the EATCS, 60:78-96, 1996.
@article{DegtyarevGV96, title = {Herbrand s Theorem and Equational Reasoning: Problems and Solutions}, author = {Anatoli Degtyarev and Yuri Gurevich and Andrei Voronkov}, year = {1996}, researchr = {https://researchr.org/publication/DegtyarevGV96}, cites = {0}, citedby = {0}, journal = {Bulletin of the EATCS}, volume = {60}, pages = {78-96}, }