Anatoli Degtyarev, Yuri Gurevich, Andrei Voronkov. Herbrand s Theorem and Equational Reasoning: Problems and Solutions. In Current Trends in Theoretical Computer Science. pages 303-326, 2001.
@incollection{DegtyarevGV01, title = {Herbrand s Theorem and Equational Reasoning: Problems and Solutions}, author = {Anatoli Degtyarev and Yuri Gurevich and Andrei Voronkov}, year = {2001}, researchr = {https://researchr.org/publication/DegtyarevGV01}, cites = {0}, citedby = {0}, pages = {303-326}, booktitle = {Current Trends in Theoretical Computer Science}, }