Proving Termination Through Conditional Termination.

Cristina Borralleras, Marc Brockschmidt, Daniel Larraz, Albert Oliveras, Enric Rodrguez-Carbonell, Albert Rubio

Browse the full TACAS paper archive.