Michel Perrin, Laura S. Mastella, Olivier Morel, Alexandre Lorenzatti. Geological time formalization: an improved formal model for describing time successions and their correlation. Earth Science Informatics, 4(2):81-96, 2011. [doi]
Abstract is missing.