TPX superconducting cable-in-conduit 1995 design and development progress | IEEE Conference Publication | IEEE Xplore