Jürgen Giesl, Frédéric Mesnard, Albert Rubio, René Thiemann, Johannes Waldmann. Termination Competition (termCOMP 2015).
CADE-25 - 25th International Conference on Automated Deduction, Aug 2015, Berlin, Germany. pp.105--108,
⟨10.1007/978-3-319-21401-6_6⟩.
⟨hal-01451691⟩