Design of a resonant extraction system for the AGS booster | IEEE Conference Publication | IEEE Xplore