@ARTICLE{EisingerOhlbachPraecklein91a,
AUTHOR = {Eisinger, Norbert and Ohlbach, Hans J{\"u}rgen and Pr{\"a}cklein, Axel},
TITLE = {Reduction Rules for Resolution Based Systems},
JOURNAL = {Artificial Intelligence},
YEAR = {1991},
VOLUME = {50},
PAGES = {141--181},
ADDRESS = {?},
}
Entry last modified by Christine Kiesel, 08/08/2014
Edit History (please click the blue arrow to see the details)
| Editor(s)
[Library] | Created
02/06/1995 05:56:20 PM |
Revisions
5.
4.
3.
2.
1. | Editor(s)
Christine Kiesel
Christine Kiesel
Uwe Brahm/MPII/DE
Uwe Brahm/MPII/DE
Uwe Brahm/MPII/DE | Edit Dates
28.08.2001 08:37:59
28.08.2001 08:37:49
10/02/95 17:19:47
21/01/95 20:48:56
15/01/95 16:59:08 |