Innermost-Reachability and Innermost-Joinability Are Decidable for Shallow Term Rewrite Systems. - Guillem Godoy; Eduard Huntingford (RTA, 2007)

Termination of Rewriting with Right-Flat Rules. - Guillem Godoy; Eduard Huntingford; Ashish Tiwari 001 (RTA, 2007)

Termination of Rewriting with Right-Flat Rules Modulo Permutative Theories - Luis Barguñó; Guillem Godoy; Eduard Huntingford; Ashish Tiwari 001 (Log. Methods Comput. Sci., 2010)