Proving a graph well founded using resolution
Proving a graph well founded using resolution / M. Bezem, J.F. Groote