Development of a bore-head GPR for Horizontal Directional Drilling (HDD) equipment | IEEE Conference Publication | IEEE Xplore