APA (7th ed.) Citation

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

Chicago Style (17th ed.) Citation

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

MLA (9th ed.) Citation

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