APA (7th ed.) Citation

Ragauskas, K., & Birštunas, A. Grouping based calculus for propositional linear temporal logic. Vilnius University Press.

Chicago Style (17th ed.) Citation

Ragauskas, Kostas, and Adomas Birštunas. Grouping Based Calculus for Propositional Linear Temporal Logic. Vilnius University Press.

MLA (9th ed.) Citation

Ragauskas, Kostas, and Adomas Birštunas. Grouping Based Calculus for Propositional Linear Temporal Logic. Vilnius University Press.

Warning: These citations may not always be 100% accurate.