@article{P090.017,
author={De Bosschere, K.},
title={The Use of Clause Forms and Resolution for Proving Validity},
journal={Journal for Artificial Intelligence, Cognitive Science and Applied Epistemology},
year={1990},
volume={7},
number={1},
pages={101 - 131},
publisher={Communication and Cognition},
address={Gent},
}