Rewriting Techniques and Applications - Voronkov, Andrei (Springer Berlin Heidelberg, 2020)