Concepedia

Hierarchical deduction

Tiecheng Wang, W. W. Bledsoe

Journal of Automated Reasoning · 1987 · 41 citations · 8 references

DOI

References

8

Linear resolution with selection function

Robert Kowalski, D. Brian Kuehner · Artificial Intelligence · 1971 · 256 citations

, , +2

Non-resolution theorem proving

W. W. Bledsoe · Artificial Intelligence · 1977 · 231 citations

Mechanical Theorem-Proving by Model Elimination

Donald Loveland · Journal of the ACM · 1968 · 193 citations · Full text

, , +12

A Simplified Format for the Model Elimination Theorem-Proving Procedure

Donald Loveland · Journal of the ACM · 1969 · 146 citations · Full text

, , +6

Problems and Experiments for and with Automated Theorem-Proving Programs

McCharen, Overbeek, Wos · IEEE Transactions on Computers · 1976 · 111 citations

, , +12