Automated Deduction by Theory Resolution

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

No reviews for this publication, yet.