Alonderis, R. Structural rules and cut admissibility in a sequent calculus of temporal logic with predicates = and >. Vilnius University Press.
Chicago Style (17th ed.) CitationAlonderis, Romas. Structural Rules and Cut Admissibility in a Sequent Calculus of Temporal Logic with Predicates = and >. Vilnius University Press.
MLA (9th ed.) CitationAlonderis, Romas. Structural Rules and Cut Admissibility in a Sequent Calculus of Temporal Logic with Predicates = and >. Vilnius University Press.
Warning: These citations may not always be 100% accurate.