Recursion Schemes and Logical Reflection - Broadbent, C; Carayol, A; Ong, C; Serre, O (LICS, 2010)