Automated Deduction by Theory Resolution

Mark E. Stickel. Automated Deduction by Theory Resolution. Journal of Automated Reasoning, 1(4):333-355, 1985.

Abstract

Abstract is missing.