Development of a Small-Size Superconducting Bulk Magnet System Using a 13 K Refrigerator | IEEE Journals & Magazine | IEEE Xplore