TY  - BOOK
AU  - Robinson, Alan. Ed.
AU  - Voronkov, Andrei. Ed.
TI  - Automated Reasoning, Handbook of- : Vols. I & II
SN  - 0 444 50813 9
CY  - Netherlands
KW  - Automated Reasoning
ER  -