S. Benferhat, D. Dubois, S. Lagrue, and H. Prade. International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems, 11 (Supplement-1):
1-14(2003)
D. Dubois, J. Lang, and H. Prade. Truth Maintenance Systems (ECAI Workshop), volume 515 of Lecture Notes in Computer Science, page 87-106. Springer, (1990)