@article{BSL6_2_Sundholm,
author = {G{\"o}ran SUNDHOLM},
title = {A Completeness Proof for an Infinitary Tense Logic},
journal = {Bulletin of the Section of Logic},
volume = {6},
number = {2},
year = {1977},
pages = {70--73}
}