Truth maintenance systems : ECAI-90 workshop, Stockholm, Sweden, August 6, 1990 : proceedings / - Martins, João P.; Reinfrank, M. (Springer-Verlag,, 1991)