Cita APA (7a ed.)

Conference on Automated Deduction, Bibel, W., & Kowalski, R. (1980). 5th Conference on Automated Deduction: Les Arcs, France, July 8-11, 1980. Springer.

Cita Chicago Style (17a ed.)

Conference on Automated Deduction, Wolfgang Bibel, y Robert Kowalski. 5th Conference on Automated Deduction: Les Arcs, France, July 8-11, 1980. Berlin [etc.]: Springer, 1980.

Cita MLA (9a ed.)

Conference on Automated Deduction, et al. 5th Conference on Automated Deduction: Les Arcs, France, July 8-11, 1980. Springer, 1980.