https://123dok.net/document/4zpolg0q-termination-of-rewriting-systems-by-polynomial-interpretations-and-its-implementation.html