Logics for artificial intelligence - Turner, Raymond 1947- (Ellis Horwood series in artificial intelligence, 1984)