Paech, B. (1988). Gentzen-systems for propositional temporal logics. Bericht.
Chicago-Zitierstil (17. Ausg.)Paech, Barbara. "Gentzen-systems for Propositional Temporal Logics." Bericht 1988.
MLA-Zitierstil (9. Ausg.)Paech, Barbara. "Gentzen-systems for Propositional Temporal Logics." Bericht, 1988.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.