Ninth 9th International Conference on Automated Deduction Argonne, Ill., USA, May 23 - 26, 1988 ; proceedings (Springer, 1988)