Automating the Dependency Pair Method.

Nao Hirokawa, Aart Middeldorp

Browse the full CADE paper archive.