Termination Competition (termCOMP 2015).

Jrgen Giesl, Frdric Mesnard, Albert Rubio, Ren Thiemann, Johannes Waldmann

Browse the full CADE paper archive.