Stav dette: Transformations and their use in the resolution of syntactic homomorphy :