Topics in artificial intelligence (Springer, 1976)