Alonderis, R. Relation between classical and intuitionistic sequent calculi of temporal logic. Vilnius University Press.
Chicago Style (17th ed.) CitationAlonderis, Romas. Relation Between Classical and Intuitionistic Sequent Calculi of Temporal Logic. Vilnius University Press.
MLA (9th ed.) CitationAlonderis, Romas. Relation Between Classical and Intuitionistic Sequent Calculi of Temporal Logic. Vilnius University Press.
Warning: These citations may not always be 100% accurate.