Barbosa, J. L. A. (2016). Closed Types for Logic Programming.
Citação do estilo Chicago (17ª ed.)Barbosa, João Luís Alves. Closed Types for Logic Programming. 2016.
Citação MLA (8ª ed.)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.