A Proof of Weak Termination Providing the Right Way to Terminate.

Olivier Fissore, Isabelle Gnaedig, Hlne Kirchner

Browse the full ICTAC paper archive.