Mathematical modeling of stability of horizontal excavations at great depths - Maykherchik; Taidus (Journal of Mining Institute, 1990)