-A. Bundy (Ed.): Automated Deduction - CADE -12. Proceedings 1994, Springer-Verlag 1994 (Subseries LNAI)