Ground penetrating radar, a tool for determining complex geological structures from cavern boreholes | IEEE Conference Publication | IEEE Xplore