@article{blasius1989deduction, title={Deduction Systems in Artificial Intelligence}, author={Bl{\"a}sius, Karl Hans and B{\"u}rckert, Hans-J{\"u}rgen}, year={1989} }