Cita APA (7a ed.)

Negrete, S. (1999). Using Difference Reduction for Generic Proof Search. Instituto Politécnico Nacional.

Cita Chicago Style (17a ed.)

Negrete, Santiago. Using Difference Reduction for Generic Proof Search. Instituto Politécnico Nacional, 1999.

Cita MLA (9a ed.)

Negrete, Santiago. Using Difference Reduction for Generic Proof Search. Instituto Politécnico Nacional, 1999.

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