Spatio-temporally regularized 4-D cardiovascular C-arm CT reconstruction using a proximal algorithm | IEEE Conference Publication | IEEE Xplore