knwledge-Based systems in artificial intelligence - Davis, Randall. (McGraw-Hill, 1982)
Index