Cita APA

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

Citación estilo Chicago

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

Cita MLA

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

Precaución: Estas citas no son 100% exactas.