International Conference on Automated Deduction Kaiserslautern, Germany, & Stickel, M. E. (1990). Proceedings: 10th International Conference on Automated Deduction, Kaiserslautern, FRG, July 24-27, 1990. Springer-Verlag.
Chicago Style (17th ed.) CitationInternational Conference on Automated Deduction Kaiserslautern, Germany, and M. E. Stickel. Proceedings: 10th International Conference on Automated Deduction, Kaiserslautern, FRG, July 24-27, 1990. Berlin ; New York: Springer-Verlag, 1990.
MLA (8th ed.) CitationInternational Conference on Automated Deduction Kaiserslautern, Germany, and M. E. Stickel. Proceedings: 10th International Conference on Automated Deduction, Kaiserslautern, FRG, July 24-27, 1990. Springer-Verlag, 1990.
Warning: These citations may not always be 100% accurate.