Logic & Knowledge Representation - JONES, Alwyn (London Pitman, 1991)