A direct proof of the finite developments theorem (1985)

by R de Vrijer
Venue:The Journal of Symbolic Logic