Experimental demonstration of beam-beam compensation by Tevatron electron lenses and prospects for the LHC | IEEE Conference Publication | IEEE Xplore