We prove that any tree transformation computed by an STAG can also be computed by an STSG using explicit substitution.
a simple evaluation procedure that performs the explicit substitution is all that is needed to simulate an STAG in a toolkit for STSGs or extended tree transducers like TIBURON by May and Knight (2006).