Provably Efficient Model-Free Constrained RL with Linear Function Approximation - Ghosh, Arnob; Zhou, Xingyu; Shroff, Ness (Advances in Neural Information Processing Systems, 2022)