McRobbie, M. A., & Slaney, J. K. (1996). Automated Deduction - Cade-13: 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30 - August 3, 1996. Proceedings. Springer Berlin Heidelberg.
Chicago Style (17th ed.) CitationMcRobbie, Michael A., and J. K. Slaney. Automated Deduction - Cade-13: 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30 - August 3, 1996. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg, 1996.
MLA (9th ed.) CitationMcRobbie, Michael A., and J. K. Slaney. Automated Deduction - Cade-13: 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30 - August 3, 1996. Proceedings. Springer Berlin Heidelberg, 1996.
Warning: These citations may not always be 100% accurate.