McRobbie, M. A., & Slaney, J. K. Automated deduction: Cade-13 : 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30-August 3, 1996 : proceedings. Springer.
Cytowanie według stylu Chicago (wyd. 17)McRobbie, Michael A., i John K. Slaney. Automated Deduction: Cade-13 : 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30-August 3, 1996 : Proceedings. Berlin [etc.]: Springer.
Cytowanie według stylu MLA (wyd. 8)McRobbie, Michael A., i John K. Slaney. Automated Deduction: Cade-13 : 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30-August 3, 1996 : Proceedings. Springer.
Uwaga: Te cytaty mogą odróżniać się od wytycznej twojego fakultetu..