Automated Deduction by Theory Resolution

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

No reviews for this publication, yet.