Data up to Jan 2025
A Machine-Oriented Logic Based on the Resolution Principle
1965 • 3,880 citations
Fundamental algorithms
1999 • 108 citations
Use of tree structures for processing files
1983 • 108 citations
1963 • 101 citations