Termination of Recursive Functions by Lexicographic Orders of Linear Combinations. - Raphael Douglas Giles (SPLASH Companion, 2022)

T-Rex: Termination of Recursive Functions Using Lexicographic Linear Combinations. - Raphael Douglas Giles; Vincent Jackson; Christine Rizkallah (ICALP, 2024)

T-Rex. - Raphael Douglas Giles; Vincent Jackson (DROPS Artifacts, 2024)