https://isa-afp.org/authors/huitouze/ AFP entries of Ulysse Le Huitouze https://isa-afp.org/entries/Right_Forward_Closures.html Fri, 17 Jul 2026 00:00:00 +0000 Termination Restricted to Right-Forward Closures in the AFP Logic/Rewriting