Gaya APA

Pliuškevičienė, R, P, A, A. (2010). A New Method to Obtain Termination in Backward Proof Search For Modal Logic S4 . : .

Gaya MLA

Pliuškevičienė, Regimantas, Pliuškevičius, And, Aida. "A New Method to Obtain Termination in Backward Proof Search For Modal Logic S4". : , 2010. Text.