Separating LREC from LFP. - Anuj Dawar; Felipe Ferreira Santos (LICS, 2022)