Knowledge-based systems in artificial intelligence - DAVIS, Randall (Advanced Computer Science, 1982)