Conference on Automated Deduction Les Arcs, France, Kowalski, R., & Bibel, W. (1980). 5th Conference on Automated Deduction, Les Arcs, France, July 8-11, 1980. Springer-Verlag.
Chicago-Zitierstil (17. Ausg.)Conference on Automated Deduction Les Arcs, France, Robert Kowalski, und W. Bibel. 5th Conference on Automated Deduction, Les Arcs, France, July 8-11, 1980. Berlin ; New York: Springer-Verlag, 1980.
MLA-Zitierstil (8. Ausg.)Conference on Automated Deduction Les Arcs, France, et al. 5th Conference on Automated Deduction, Les Arcs, France, July 8-11, 1980. Springer-Verlag, 1980.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.