Exact Recovery of Hard Thresholding Pursuit - Yuan, Xiaotong; Li, Ping; Zhang, Tong (Advances in Neural Information Processing Systems, 2016)