TY  - GEN
AU  - Raymond Reiter
AU  - Raymond Reiter
TI  - Knowledge in action: Logical foundations for specifying and implementing dynamical systems
SN  - 9780262182188
U1  - 006.332 
CY  - USA
PB  - MIT Press
KW  - Knowledge representation
ER  -