Gaya APA

, L, P, C, A, J, N, C. (2015). Logics Modulo Theories: a logical framework for multi-agent systems . : .

Gaya MLA

, Lito, Perez, Cruz, And, John, Newsome, Crossley. "Logics Modulo Theories: a logical framework for multi-agent systems ". : , 2015. Text.