Gentzen-systems for propositional temporal logics - Paech, Barbara (Bericht, 1988)