Electronic axial HTS dc SQUID gradiometer cooled by pulse-tube cooler | IEEE Journals & Magazine | IEEE Xplore