TY  - GEN
AU  - Baral,Chitta
AU  - 
ED  - 
ED  - 
ED  - 
TI  - Knowledge representation, reasoning and declarative problem solving
U1  - 006.33 
PY  - 2010///
CY  - Cambridge
PB  - Cambridge University Press
KW  - 
KW  - Computer science
ER  -