Stephen G. Simpson: Nichtbeweisbarkeit von gewissen kombinatorischen Eigenschaften endlicher Bäume. Arch. Math. Log. 25(1): 45-65 (1985)