APA (7th ed.) Citation

Conference on Automated Deduction New York, N.Y., SpringerLink (Online service), & Loveland, D. W. (1982). 6th Conference on Automated Deduction, New York, USA, June 7-9, 1982. Springer-Verlag.

Chicago Style (17th ed.) Citation

Conference on Automated Deduction New York, N.Y., SpringerLink (Online service), and Donald W. Loveland. 6th Conference on Automated Deduction, New York, USA, June 7-9, 1982. Berlin ; New York: Springer-Verlag, 1982.

MLA (9th ed.) Citation

Conference on Automated Deduction New York, N.Y., et al. 6th Conference on Automated Deduction, New York, USA, June 7-9, 1982. Springer-Verlag, 1982.