Michel Perrin Laura S. Mastella Olivier Morel Alexandre Lorenzatti Geological time formalization: an improved formal model for describing time successions and their correlation. 81-96 2011 4 Earth Science Informatics 2 http://dx.doi.org/10.1007/s12145-011-0080-9 db/journals/esi/esi4.html#PerrinMML11