Logics for artificial intelligence - Turner, Raymond (Ellis Horwood, Chichester, 1985)