TY  - BOOK
AU  - Poole, David
AU  - Mackworth, Alan 
AU  - Goebel,  Randy 
TI  - Computational intelligence: a logical approch
SN  - 0195685725
U1  - 006.3 
PY  - 1998/// (4th impression 2009)
CY  - New York ; New Delhi
PB  - Oxford University Press
KW  - Formal languages
KW  - Computational complexity
ER  -