-D. Kapur (Ed.): Automated Deduction - CADE-11, Proceedings 1992, Subseries LNAI, Springer-Verlag 1992