APA-Zitierstil (7. Ausg.)

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

Chicago-Zitierstil (17. Ausg.)

Conference on Automated Deduction Les Arcs und Wolfgang Bibel. 5th Conference on Automated Deduction: Les Arcs, France, July 8 - 11, 1980. Berlin u.a: Springer, 1980.

MLA-Zitierstil (9. Ausg.)

Conference on Automated Deduction Les Arcs und Wolfgang Bibel. 5th Conference on Automated Deduction: Les Arcs, France, July 8 - 11, 1980. Springer, 1980.