knwledge-Based systems in artificial intelligence - Davis, Randall. (McGraw-Hill Advanced Computer Science Series., 1982)