- International Conference on Automated Deduction (11)
- Bundy, Alan (1)
- Ganzinger, Harald, 1950- (1)
- Kapur, Deepak (1)
- Kirchner, Claude (1)
- Kirchner, Hélène (1)
- Lusk, Ewing L. (1)
- McAllester, David A. (1)
- McCune, W. (William) (1)
- McRobbie, M. A. (Michael A.) (1)
- Overbeek, Ross A. (1)
- Shostak, Robert, 1931- (1)
- Siekmann, Jörg H., 1941- (1)
- Slaney, John K. (1)
- Stickel, Mark E., 1947- (1)