Artificial intelligence : a theoretical approach - Banerji, Ranan B., 1928- (North Holland, 1980)