Citação APA (7ª ed.)

Melham, T. (1996). Some Research Issues in Higher Order Logic Theorem Proving. Department of Computer Science‚ University of Aarhus.

Citação do estilo Chicago (17ª ed.)

Melham, T. Some Research Issues in Higher Order Logic Theorem Proving. Department of Computer Science‚ University of Aarhus, 1996.

Citação MLA (9ª ed.)

Melham, T. Some Research Issues in Higher Order Logic Theorem Proving. Department of Computer Science‚ University of Aarhus, 1996.

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