Topics in artificial intelligence - Marzollo, Angelo (Springer, 1976)