APA (7th ed.) Citation

Siekmann, J. (1986). Automated deduction: Proceedings of the 8th International Conference Oxford, England, July 27 - August 1, 1986. Springer-Verlag.

Chicago Style (17th ed.) Citation

Siekmann, J. Automated Deduction: Proceedings of the 8th International Conference Oxford, England, July 27 - August 1, 1986. Berlin: Springer-Verlag, 1986.

MLA (8th ed.) Citation

Siekmann, J. Automated Deduction: Proceedings of the 8th International Conference Oxford, England, July 27 - August 1, 1986. Springer-Verlag, 1986.