Middle Pleistocene to recent diatoms and stratigraphy of the Magadi Basin, south Kenya Rift | Publicación