TY  - BOOK
AU  - Robinson Alan
AU  - Voronkov Andrei
TI  - Handbook of automated reasoning
SN  - 978-0-444-50813-9
U1  - 511.3 
PY  - 2001///
CY  - Amsterdam
PB  - Elsevier
KW  - Automatic theorem proving
KW  - Qualitative reasoning
ER  -