Norbert Eisinger, Hans Jürgen Ohlbach, Axel Präcklein. Reduction Rules for Resolution-Based Systems. Artificial Intelligence, 50(2):141-181, 1991.
@article{EisingerOP91,
title = {Reduction Rules for Resolution-Based Systems},
author = {Norbert Eisinger and Hans Jürgen Ohlbach and Axel Präcklein},
year = {1991},
tags = {rule-based, rules},
researchr = {https://researchr.org/publication/EisingerOP91},
cites = {0},
citedby = {0},
journal = {Artificial Intelligence},
volume = {50},
number = {2},
pages = {141-181},
}