Data up to Jan 2025
Strips: A new approach to the application of theorem proving to problem solving
1971 • 3,943 citations