Destressing design and practice of a soft rock roadway under high ground pressure