Simply logical : intelligent reasoning by example /
Flach, Peter A.
Chichester : Wiley,
1994.