APA (7th ed.) Citation

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 Style (17th ed.) Citation

Conference on Automated Deduction Les Arcs, France, Robert Kowalski, and W. Bibel. 5th Conference on Automated Deduction, Les Arcs, France, July 8-11, 1980. Berlin ; New York: Springer-Verlag, 1980.

MLA (8th ed.) Citation

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