A Possibilistic Assumption-Based Truth Maintenance System with Uncertain Justifications, and its Application to Belief Revision.

Didier Dubois Jérôme Lang Henri Prade A Possibilistic Assumption-Based Truth Maintenance System with Uncertain Justifications, and its Application to Belief Revision. 87-106 1990 conf/ecai/1990tms Truth Maintenance Systems (ECAI Workshop) db/conf/ecai/ecai1990tms.html#DuboisLP90