Stefano Berardi Equalization of Finite Flowers. 105-123 1988 53 J. Symb. Log. 1 db/journals/jsyml/jsyml53.html#Berardi88