Proving Termination Assertions in Dynamic Logics.

Daniel Leivant

Browse the full LICS paper archive.