Citace podle APA (7th ed.)

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.

Citace podle Chicago (17th ed.)

International Conference on Automated Deduction Saratoga Springs, N.Y., a 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.

Citace podle MLA (8th ed.)

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

Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..