APA (7th ed.) Citation

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

Chicago Style (17th ed.) Citation

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

MLA (9th ed.) Citation

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

Warning: These citations may not always be 100% accurate.