| |
| 1997 | ||
|---|---|---|
| 3 | Gerd Neugebauer, Dorothea Schäfer: GLUE: Opening the World to Theorem Provers. LPNMR 1997: 411-420 | |
| 1996 | ||
| 2 | Chandrabose Aravindan, Peter Baumgartner, Jürgen Dix, Ulrich Furbach, Gerd Neugebauer, Ilkka Niemelä, Dorothea Schäfer, Frieder Stolzenburg: On Merging Theorem Proving and Logic Programming Paradigms (Poster Abstract). JICSLP 1996: 546 | |
| 1 | Peter Baumgartner, Jürgen Dix, Ulrich Furbach, Dorothea Schäfer, Frieder Stolzenburg: Deduktion und Logisches Programmieren. KI 10(2): 34-39 (1996) | |
| 1 | Chandrabose Aravindan | [2] |
| 2 | Peter Baumgartner | [1] [2] |
| 3 | Jürgen Dix | [1] [2] |
| 4 | Ulrich Furbach | [1] [2] |
| 5 | Gerd Neugebauer | [2] [3] |
| 6 | Ilkka Niemelä | [2] |
| 7 | Frieder Stolzenburg | [1] [2] |