- Ganzinger, Harald, 1950- (5)
- Colloquium on Trees in Algebra and Programming (1)
- European Symposium on Programming (1)
- International Conference on Automated Deduction (1)
- International Conference on Rewriting Techniques and Applications (1)
- Jones, Neil D., 1941- (1)
- LPAR (1)
- McAllester, David A. (1)
- Voronkov, A. (Andreĭ), 1959- (1)
- Workshop "Programs as Data Objects" (1)