- Meinke, Karl (8)
- Heering, J. (3)
- Glaser, Hugh (2)
- Möller, Bernhard (2)
- Palamidessi, Catuscia (2)
- Bennaceur (1)
- Börger, Egon (1)
- Dowek (1)
- Dowek, Gilles (1)
- Gurevich, Yuri (1)
- Hanus, Michael (1)
- Heering (1)
- Hähnle, Reiner (1)
- International Symposium, PLILP (1)
- Karl Meinke (1)
- Kovács, Laura. (1)
- Michael Hanus (1)
- Nipkow, Tobias (1)
- PLILP'98 (1)
- Reiner Hähnle (1)
- Workshop on Computer Science Logic (1)