- International Conference on Rewriting Techniques and Applications (11)
- Book, Ronald V. (1)
- Comon, Hubert (1)
- Dershowitz, Nachum, 1951- (1)
- Ganzinger, Harald, 1950- (1)
- Hsiang, Jieh, 1954- (1)
- Jouannaud, Jean-Pierre (1)
- Kirchner, Claude (1)
- Lescanne, Pierre (1)
- Middeldorp, Aart, 1963- (1)
- Narendran, Paliath, 1955- (1)
- Nipkow, Tobias, 1958- (1)
- Rusinowitch, M. (Michael) (1)