A Mechanical Proof Procedure and its Realization in an Electronic Computer
Journal of the ACM (JACM)
Proving theorems by pattern recognition I
Communications of the ACM
A Computer Program for a Solvable Case of the Decision Problem
Journal of the ACM (JACM)
A Machine-Oriented Logic Based on the Resolution Principle
Journal of the ACM (JACM)
Mechanical Theorem-Proving by Model Elimination
Journal of the ACM (JACM)
Properties of Programs and the First-Order Predicate Calculus
Journal of the ACM (JACM)
An Implementation of the Model Elimination Proof Procedure
Journal of the ACM (JACM)
Resolution Strategies as Decision Procedures
Journal of the ACM (JACM)
Hi-index | 0.01 |