Rabin (1974)
Rabin M.O. (1974)
The computational complexity of Artificial Intelligence
IEEE Symposium