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