Concepedia

Refutation graphs

Robert E. Shostak

Artificial Intelligence · 1976 · 97 citations · 7 references

DOI

References

7

A Machine-Oriented Logic Based on the Resolution Principle

John A. Robinson · Journal of the ACM · 1965 · 3.9K citations · Full text

, , +4

Linear resolution with selection function

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

, , +2

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

A Unifying View of Some Linear Herbrand Procedures

Donald Loveland · Journal of the ACM · 1972 · 49 citations · Full text

, , +4