Alonderis, R. Specialization of loop rules of a sequent calculus of intuitionistic temporal logic with time gaps. Vilnius University Press.
Chicago Style (17th ed.) CitationAlonderis, Romas. Specialization of Loop Rules of a Sequent Calculus of Intuitionistic Temporal Logic with Time Gaps. Vilnius University Press.
MLA (9th ed.) CitationAlonderis, Romas. Specialization of Loop Rules of a Sequent Calculus of Intuitionistic Temporal Logic with Time Gaps. Vilnius University Press.
Warning: These citations may not always be 100% accurate.