APA (7th ed.) Citation

Pliuškevičienė, A. Decision procedure for a fragment of quantified branching temporal logic. Vilnius University Press.

Chicago Style (17th ed.) Citation

Pliuškevičienė, Aida. Decision Procedure for a Fragment of Quantified Branching Temporal Logic. Vilnius University Press.

MLA (9th ed.) Citation

Pliuškevičienė, Aida. Decision Procedure for a Fragment of Quantified Branching Temporal Logic. Vilnius University Press.

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