TY  - BOOK
AU  - Bibel, W. Ed.
AU  - Kowalski, R. Ed.
TI  - 5th Conference on Automated Deduction, Les Arcs, France, 1980
SN  - 3540100091
CY  - Berlin
KW  - Automated Deduction
ER  -