TY  - BOOK
AU  - Shostak, R. E. ed.
TI  - 7th International Conference on Automated Deduction
T2  - Lecture notes in computer science
U1  - 006.3 
ER  -