Superconducting Power Supply for the KEDR Main Superconducting Solenoid | IEEE Journals & Magazine | IEEE Xplore