A bore-head GPR for horizontal directional drilling (HDD) equipment | IEEE Conference Publication | IEEE Xplore