APA (7th ed.) Citation

CADE (International Conference on Automated Deduction) New Brunswick, NJ. (1996). Automated deduction - Cade-13: 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30 - August 3, 1996 ; proceedings. Springer.

Chicago Style (17th ed.) Citation

CADE (International Conference on Automated Deduction) New Brunswick, NJ. Automated Deduction - Cade-13: 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30 - August 3, 1996 ; Proceedings. Berlin u.a: Springer, 1996.

MLA (9th ed.) Citation

CADE (International Conference on Automated Deduction) New Brunswick, NJ. Automated Deduction - Cade-13: 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30 - August 3, 1996 ; Proceedings. Springer, 1996.