Citação norma APA

Barbosa, J. L. A. (2016). Closed Types for Logic Programming.

Citação norma Chicago

Barbosa, João Luís Alves. Closed Types for Logic Programming. 2016.

Citação norma MLA

Barbosa, João Luís Alves. Closed Types for Logic Programming. 2016.

Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.