TY  - BOOK
AU  - Shostak, R.E.,Ed.
TI  - 7th International conference on automated deduction, Nape, California, USA, May 14-16,1984
CY  - Berlin
ER  -