Galda, K., & Passos, E. P. (1972). Applications of quantifier elimination to mechanical theorem proving. Pontif. Univ. Católica do Rio de Janeiro.
Chicago-Zitierstil (17. Ausg.)Galda, Klaus, und Emmanuel P. Passos. Applications of Quantifier Elimination to Mechanical Theorem Proving. Rio de Janeiro, Brasil: Pontif. Univ. Católica do Rio de Janeiro, 1972.
MLA-Zitierstil (9. Ausg.)Galda, Klaus, und Emmanuel P. Passos. Applications of Quantifier Elimination to Mechanical Theorem Proving. Pontif. Univ. Católica do Rio de Janeiro, 1972.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.