Paech, B. (1988). Gentzen-systems for propositional temporal logics. Bericht.
Chicago Style (17th ed.) CitationPaech, Barbara. "Gentzen-systems for Propositional Temporal Logics." Bericht 1988.
MLA (9th ed.) CitationPaech, Barbara. "Gentzen-systems for Propositional Temporal Logics." Bericht, 1988.
Warning: These citations may not always be 100% accurate.