| |
| 1996 | ||
|---|---|---|
| 4 | Manfred Kerber, Axel Präcklein: Using Tactics to Reformulate Formulae for Resolution Theorem Proving. Ann. Math. Artif. Intell. 18(2-4): 221-241 (1996) | |
| 1995 | ||
| 3 | Manfred Kerber, Axel Präcklein: Reformulating Resolution Problems by Tactics. WOCFAI 1995: 169-180 | |
| 1991 | ||
| 2 | Christoph Lingenfelder, Axel Präcklein: Proof Transformation with Built-in Equality Predicate. IJCAI 1991: 165-171 | |
| 1 | Norbert Eisinger, Hans Jürgen Ohlbach, Axel Präcklein: Reduction Rules for Resolution-Based Systems. Artif. Intell. 50(2): 141-181 (1991) | |
| 1 | Norbert Eisinger | [1] |
| 2 | Manfred Kerber | [3] [4] |
| 3 | Christoph Lingenfelder | [2] |
| 4 | Hans Jürgen Ohlbach | [1] |