A. Kakas, und P. Mancarella. 16th International Conference on Very Large Data Bases, August
13-16, 1990, Brisbane, Queensland, Australia, Proceedings, Seite 650-661. Morgan Kaufmann, (1990)
A. Kakas, und P. Mancarella. Truth Maintenance Systems (ECAI Workshop), Volume 515 von Lecture Notes in Computer Science, Seite 54-70. Springer, (1990)