1. Abdulla PA, Cerans K, Jonsson B et al (1996) General decidability theorems for infinite-state systems[C]//Logic in Computer Science, 1996. LICS'96. Proceedings, Eleventh Annual IEEE Symposium on IEEE: 313–321
2. Chen J, Beck BF (1989) Qualitative modelling of the cover-collapse process[C]//Proc. of the Third Multidisciplinary Conf. on Sinkholes and the Environmental Impacts of Karst. Rotterdam, Netherlands: AA Balkema Publishers: 89–95
3. Mathematical modeling of karst airburst collapse;Cheng X;J Chengdu Inst Technol,2002
4. Karst characteristics, ground collapse mechanism analysis and management measures in Wuchang area, China;Fan YH;Resource Environ Eng,2010
5. He JP, Xu J (2016) Monitoring of Karst Soil Cave Collapse in Railway Roadbed Based on Distributed Fiber Optic Sensing Technology. Railway Construction (2) (in Chinese)