Automated deduction CADE 12 - Alan Bundy (Springer-Verlag, 1994)