Pliuškevičienė, A. Decision procedure for a combination of logics KD4 and PDL. Vilnius University Press.
Chicago Style (17th ed.) CitationPliuškevičienė, Aida. Decision Procedure for a Combination of Logics KD4 and PDL. Vilnius University Press.
MLA (9th ed.) CitationPliuškevičienė, Aida. Decision Procedure for a Combination of Logics KD4 and PDL. Vilnius University Press.
Warning: These citations may not always be 100% accurate.