Lew Gordeev Generalizations of the Kruskal-Friedman Theories. 157-181 1990 55 J. Symb. Log. 1 db/journals/jsyml/jsyml55.html#Gordeev90