- Richter, Michael M., 1938- (8)
- Börger, Egon, 1946- (3)
- Workshop on Computer Science Logic (3)
- Kleine Büning, Hans, 1948- (2)
- Logic Colloquium (2)
- Althoff, Klaus-Dieter (1)
- Benninghofen, Benjamin, 1958- (1)
- Boley, H. (1)
- EWCBR (1)
- Kemmerich, Susanne, 1953- (1)
- Kleine Büning, Hans (1)
- Müller, G. H. (Gert Heinz), 1923- (1)
- Müller, Gert Heinz, 1923- (1)
- Processing Declarative Knowledge (1)
- Wess, Stefan (1)