GeoReVi: A knowledge discovery and data management tool for subsurface characterization. - Adrian Linsel; Kristian Bär; Joshua Haas; Jens Hornung; Matthias D. Greb; Matthias Hinderer (SoftwareX, 2020)