GPR applications in mapping barrier thickness in coal mines : some case studies | IEEE Conference Publication | IEEE Xplore