TY  - BOOK
AU  - Overbeek R Ed.
AU  -  Lusk E Ed.
ED  - International conference on automated deduction (9 : 1988 : Argonne)
TI  - Proceeding on automated deduction
T2  - Lecture notes in computer science; 310
U1  - B:(R1)p1,N88, M8 
PY  - 1988///
CY  - Berlin
PB  - Springer-Verlag         
KW  -  Mathematical logic
KW  - Mathematics
ER  -