9TH INTERNATIONAL CONFERENCE ON AUTOMATED DEDUCTION : PROCEEDINGS, ARGONNE, ILLINOIS, USA, MAY 23. - 26. 1988 - Zhang, Hantao And Co (Lecture notes in computer science, 1988)