TY  - BOOK
AU  - Gant,Lan
TI  - SAT 2000: highlights of satisfiability research in the year 2000
SN  - 01586 03 06
PY  - 2000///
CY  - Amsterdam
PB  - IOS Press
ER  -