On using bent single crystals for proton extraction from IHEP accelerator | IEEE Conference Publication | IEEE Xplore