TY  - BOOK
AU  - Martins J P
ED  - Workshop on Truth Maintenence Systems ECAI-90( 1990 : Stockholm )
ED  - Workshop on Truth Maintenence Systems ECAI-90
TI  - Truth maintenence systems : proceedings
U1  - 6.3 
PY  - 1990///
CY  - Berlin
PB  - Springer Verlag
KW  - Artificial intelligence
KW  - Computer science
ER  -