Complexity, Graphs, and the Dependency Pair Method.

Nao Hirokawa, Georg Moser

Browse the full LPAR paper archive.