Ground-Penetrating Radar (GPR)-Based Mapping of Underground Pipeline Network Distribution | IEEE Journals & Magazine | IEEE Xplore