TY  - BOOK
TI  - Handbook of automated reasoning
SN  - 0444508120
PY  - 2001///
CY  - Amsterdam
PB  - North Holland
UR  - https://zbmath.org/?q=an:0964.00020
ER  -