- International Conference on Automated Deduction (25)
- Nieuwenhuis, Robert (3)
- Baader, Franz (2)
- Bundy, Alan (2)
- Kanade, Takeo (2)
- Kapur, Deepak (2)
- Kirchner, Claude (2)
- Kirchner, Hélène (2)
- McAllester, David A. (2)
- Slaney, John K. (2)
- Ganzinger, Harald (1)
- Ganzinger, Harald, 1950- (1)
- Kittler, Josef (1)
- Lusk, Ewing L. (1)
- McCune, W. (William) (1)
- McCune, William (1)
- McRobbie, M. A. (Michael A.) (1)
- McRobbie, Michael A. (1)
- Overbeek, Ross A. (1)
- Shostak, Robert (1)
- Shostak, Robert, 1931- (1)
- Siekmann, Jörg H., 1941- (1)
- Stickel, Mark E., 1947- (1)
- Voronkov, A. (Andreĭ), 1959- (1)