The Termination and Complexity Competition.

Jrgen Giesl, Albert Rubio, Christian Sternagel, Johannes Waldmann, Akihisa Yamada

Browse the full TACAS paper archive.