9th International Conference on Automated Deduction : Argonne, Illinois, USA, May 2326, 1988 : proceedings - International Conference on Automated Deduction (9th : 1988 : Argonne, Ill.); Lusk, Ewing; Overbeek, Ross A. (Lecture notes in computer science ;, 1988)