Citação norma APA

Melham, T. (1994). The HOL Logic Extended with Quantification over Type Variables.

Citação norma Chicago

Melham, T. The HOL Logic Extended with Quantification over Type Variables. 1994.

Citação norma MLA

Melham, T. The HOL Logic Extended with Quantification over Type Variables. 1994.

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