System Presentation -- CARIBOO: An induction based proof tool for termination with strategies.

Olivier Fissore, Isabelle Gnaedig, Hlne Kirchner

Browse the full PPDP paper archive.