TY  - BOOK
AU  - Borger, E., Ed
TI  - Logics and machines: Decision problems and complexity
CY  - Berlin
ER  -