Gaya APA

Lima, T, D. (2014). Alternating-time temporal dynamic epistemic logic . : .

Gaya MLA

Lima, Tiago, De. "Alternating-time temporal dynamic epistemic logic". : , 2014. Text.