Isolated Bucket RF Systems in the Fermilab Antiproton Facility | IEEE Journals & Magazine | IEEE Xplore