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