Logics for Artificial Intelligence - Turner, Raymond (Ellis Horwood Limited, 1984)