Alonderis, R. Automatization of proof-search for a fragment of the first-order linear tense logic. Vilnius University Press.
Chicago Style (17th ed.) CitationAlonderis, Romas. Automatization of Proof-search for a Fragment of the First-order Linear Tense Logic. Vilnius University Press.
MLA (9th ed.) CitationAlonderis, Romas. Automatization of Proof-search for a Fragment of the First-order Linear Tense Logic. Vilnius University Press.
Warning: These citations may not always be 100% accurate.