Cita APA

International Conference on Automated Deduction Saratoga Springs, N.Y., & Kapur, D. (1992). Automated deduction, CADE-11: 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992 : proceedings. Springer-Verlag.

Citación estilo Chicago

International Conference on Automated Deduction Saratoga Springs, N.Y., and Deepak Kapur. Automated Deduction, CADE-11: 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992 : Proceedings. Berlin ; New York: Springer-Verlag, 1992.

Cita MLA

International Conference on Automated Deduction Saratoga Springs, N.Y., and Deepak Kapur. Automated Deduction, CADE-11: 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992 : Proceedings. Springer-Verlag, 1992.