TY - BOOK AU - Barton, Johnson D. TI - Transformations and their use in the resolution of syntactic homomorphy ER -