TY  - BOOK
AU  - Hartmanis, J.
TI  - Lecture notes in artifical intelligence: truth maintenance systems
U1  - 001.535 
PY  - 1984///
CY  - Berlin
PB  - Springer-Verlag
ER  -