https://9lib.org/document/y8gx086r-modeling-subsidence-caused-cavern-convergence-applying-knothe-theory.html