| |
| 1997 | ||
|---|---|---|
| 2 | Bernd I. Dahn, Jürgen Gehne, Th. Honigmann, Andreas Wolf: Integration of Automated and Interactive Theorem Proving in ILP. CADE 1997: 57-60 | |
| 1990 | ||
| 1 | Jürgen Gehne: Testclasses and Closed World Assumptions for Non-Horn Theories. Nonclassical Logics and Information Processing 1990: 56-62 | |
| 1 | Ingo Dahn (Bernd I. Dahn) | [2] |
| 2 | Th. Honigmann | [2] |
| 3 | Andreas Wolf | [2] |