Ground penetrating radar-a sensor for mine detection | IET Conference Publication | IEEE Xplore