You are about to access our book library "9th International Conference on Automated Deduction: Argonne, Illinois, USA, May 23-26, 1988. Proceedings (Lecture Notes in Computer Science, 310) full version" .