International Conference on Automated Deduction Argonne, Ill., Overbeek, R. A., & Lusk, E. (1988). 9th International Conference on Automated Deduction: Argonne, Illinois, USA, May 23-26, 1988 : proceedings. Springer-Verlag.
Chicago Style (17th ed.) CitationInternational Conference on Automated Deduction Argonne, Ill., Ross A. Overbeek, and Ewing Lusk. 9th International Conference on Automated Deduction: Argonne, Illinois, USA, May 23-26, 1988 : Proceedings. Berlin ; New York: Springer-Verlag, 1988.
MLA (8th ed.) CitationInternational Conference on Automated Deduction Argonne, Ill., et al. 9th International Conference on Automated Deduction: Argonne, Illinois, USA, May 23-26, 1988 : Proceedings. Springer-Verlag, 1988.
Warning: These citations may not always be 100% accurate.