-M.A. McRobble/J-K. Slaney (Eds.): Automated Deduction - CADE-13. Springer-Verlag Proceedings 1996 (Subseries LNAI)