OpenAlex
Article
1986
Logics for Artificial Intelligence
View Record
Cited by 65