Automated deduction CADE-11, Saratoga Springs, NY, USA, June 15 - 18, 1992 ; proceedings (Springer, 1992)