Automated Inferencing

Wolfgang Bibel. Automated Inferencing. Journal of Symbolic Computation, 1(3):245-260, 1985.

Abstract

Abstract is missing.