2000, “Termination of term rewriting using dependency pairs”, Theoretical Computer Science 236(1–2):133 (0)

by Thomas Arts, Jürgen Giesl, Apr