Termination of linear bounded term rewriting systems. - Irène Durand; Géraud Sénizergues; Marc Sylvestre (RTA, 2010)

Left-linear Bounded TRSs are Inverse Recognizability Preserving. - Irène Durand; Marc Sylvestre (RTA, 2011)