Proving Mutual Termination of Programs. - Dima Elenbogen; Shmuel Katz; Ofer Strichman (Haifa Verification Conference, 2012)

Proving mutual termination. - Dima Elenbogen; Shmuel Katz; Ofer Strichman (Formal Methods Syst. Des., 2015)