Knowledge based system in artificial intelligence - David Kandall (New York McGraw Hill, 1982)