Citazione Stile APA (7a Edizione)

International conference on automated deduction :Oxford, Angleterre, & Siekmann, J. H. 8th International conference on automated deduction: Oxford, England, July 27 August 1, 1986 : proceedings. Springer.

Citazione stile Chigago Style (17a edizione)

International conference on automated deduction :Oxford, Angleterre, e Jörg H. Siekmann. 8th International Conference on Automated Deduction: Oxford, England, July 27 August 1, 1986 : Proceedings. Berlin [etc.]: Springer.

Citatione MLA (8a ed.)

International conference on automated deduction :Oxford, Angleterre, e Jörg H. Siekmann. 8th International Conference on Automated Deduction: Oxford, England, July 27 August 1, 1986 : Proceedings. Springer.