Automated Deduction by Theory Resolution

Mark E. Stickel. Automated Deduction by Theory Resolution. In IJCAI. pages 1181-1186, 1985.

Abstract

Abstract is missing.