Artificial intelligence theory, logic and application - Brulé, James F. (TAB Books, 1986)