https://9dok.net/document/zwv9l4m7-termination-analysis-logic-programs-cut-using-dependency-triples.html