@article{P089.014,
author={De Bosschere, K.},
title={Predicate Calculus and Natural Deduction as a Tool for Logic Inference},
journal={Journal for Artificial Intelligence, Cognitive Science and Applied Epistemology},
year={1989},
month={11},
volume={6},
number={2-3},
pages={91 - 110},
publisher={Communication and Cognition},
address={Gent},
}