The size of a formula as a measure of complexity - Lauri Hella; Jouko Väänänen (2012)