Knowledge-based systems in artificial intelligence - Davis, Randall (McGraw-Hill advanced computer science series, 1982)