Gaya APA

Martins, S, B, A, M, A. (2014). Deduction-detachment theorem in hidden k-logics . : .

Gaya MLA

Martins, Sergey, Babenyshev, And, Manuel, A.. "Deduction-detachment theorem in hidden k-logics ". : , 2014. Text.