Design and Construction of a 20-T 30-mm All HTS Conduction-Cooled User Magnet | IEEE Journals & Magazine | IEEE Xplore