Reflection of Long Game Formulas. - Jouko A. Väänänen; Heikki Heikkilä (Math. Log. Q., 1994)