9th International Conference on Automated Deduction Argonne, Illinois, USA, May 23 - 26, 1988 ; proceedings - Lusk, Ewing (Springer, 1988)