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