APA (7th ed.) Citation

Pliuškevičius, R. Decision procedure for first-order linear temporal logic with semi-periodic kemels. Vilnius University Press.

Chicago Style (17th ed.) Citation

Pliuškevičius, Regimantas. Decision Procedure for First-order Linear Temporal Logic with Semi-periodic Kemels. Vilnius University Press.

MLA (9th ed.) Citation

Pliuškevičius, Regimantas. Decision Procedure for First-order Linear Temporal Logic with Semi-periodic Kemels. Vilnius University Press.

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