241 followers Verification papers @verif_papers Proving mutual termination. - Dima Elenbogen, Shmuel Katz, Ofer Strichman http://t.co/HZGgO2eBkn 24 Sep 2015 Reply Repost Favourite