Didier Dubois Henri Prade Claudette Testemale In Search of a Modal System for Possibility Theory. 501-506 1988 ECAI db/conf/ecai/ecai88.html#DuboisPT88