Cita APA (7a ed.)

Campos, M., & Lins, R. (1997). An application of a theorem prover.

Cita Chicago Style (17a ed.)

Campos, M., y R. Lins. An Application of a Theorem Prover. 1997.

Cita MLA (8a ed.)

Campos, M., y R. Lins. An Application of a Theorem Prover. 1997.