Regular Sets of Descendants by Some Rewrite Strategies. - Pierre Réty; Julie Vuotto (RTA, 2002)

Regular Sets of Descendants by Leftmost Strategy. - Pierre Réty; Julie Vuotto (WRS, 2002)

Tree automata for rewrite strategies. - Pierre Réty; Julie Vuotto (J. Symb. Comput., 2005)