Truth Maintenance Systems, ECAI-90 Workshop, Stockholm, Sweden, August 6, 1990, Proceedings

João P. Martins Michael Reinfrank Truth Maintenance Systems, ECAI-90 Workshop, Stockholm, Sweden, August 6, 1990, Proceedings Truth Maintenance Systems (ECAI Workshop) Lecture Notes in Computer Science 515 Springer 1991 3-540-54305-8 db/conf/ecai/ecai1990tms.html