| |
| * | 2009 | |
|---|---|---|
| 1 | EE | Martin Suda, Geoff Sutcliffe, Patrick Wischnewski, Manuel Lamotte-Schubert, Gerard de Melo: External Sources of Axioms in Automated Theorem Proving. KI 2009: 281-288 |
| 1 | Gerard de Melo | [1] |
| 2 | Martin Suda | [1] |
| 3 | Geoff Sutcliffe | [1] |
| 4 | Patrick Wischnewski | [1] |