Wim Ruitenburg On the Period of Sequences (A<sup>n</sup>(p)) in Intuitionistic Propositional Calculus. 892-899 1984 49 J. Symb. Log. 3 db/journals/jsyml/jsyml49.html#Ruitenburg84