| | 1993 | Eisinger, Norbert
Ohlbach, Hans Jürgen | Gabbay, Dov M.
Hogger, C. J.
Robinson, J. A. | | Deduction Systems Based on Resolution
In: Handbook of Logic in Artificial Intelligence and Logic Programming, 184-271 | Proceedings Article | |
| | 1992 | [Eisinger, Norbert]
Nonnengart, Andreas
[Präcklein, Axel] | [Bläsius, K.H.]
[Bürckert, Hans-Jürgen] | | Termersetzungssysteme
In: Deduktionssysteme -- Automatisierung des logischen Denkens, 126-149 | Part of a Book | |
| | 1991 | Eisinger, Norbert
Ohlbach, Hans Jürgen
Präcklein, Axel | | | Reduction Rules for Resolution Based Systems
In: Artificial Intelligence [50], 141-181 | Journal Article | |
1 |
| Escalada-Imaz, Gonzalo (ed.) |
| |
2 |
| Fariñas del Cerro, Luís (ed.) |
| |
1 |
| Felleisen, Matthias (ed.) |
| |
1 |
| Fermüller, Christian (ed.) |
| |
1 |
| Firozabadhi, Babak Sadighi |
| |