APA (7th ed.) Citation

Santos, S. M., & Millan, M. R. (1972). Automatic proofs for theorems on predicate calculus. Pontif. Univ. Católica do Rio de Janeiro.

Chicago Style (17th ed.) Citation

Santos, Sueli M., and Marilia R. Millan. Automatic Proofs for Theorems on Predicate Calculus. Rio de Janeiro, Brasil: Pontif. Univ. Católica do Rio de Janeiro, 1972.

MLA (9th ed.) Citation

Santos, Sueli M., and Marilia R. Millan. Automatic Proofs for Theorems on Predicate Calculus. Pontif. Univ. Católica do Rio de Janeiro, 1972.