Logics for artificial intelligence - Turner, Raymond 1947- (Horwood u.a., 1985)