Citação norma APA

Martínez Alonso, J. C. (2000). Demostració automàtica.

Citação norma Chicago

Martínez Alonso, Juan Carlos. Demostració Automàtica. 2000.

Citação norma MLA

Martínez Alonso, Juan Carlos. Demostració Automàtica. 2000.

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