Churn-Jung Liau Bertrand I-Peng Lin Quantitative Modal Logic and Possibilistic Reasoning. 43-47 1992 ECAI db/conf/ecai/ecai92.html#LiauL92