Simply logical : Intelligent reasoning by example - Flach, Peter (new york JW&S, 1994)