Churn-Jung Liau Bertrand I-Peng Lin Gentzen Sequent Calculus for Possibilistic Reasoning. 31-40 1992 conf/law/1992 Logic at Work db/conf/law/law1992.html#LiauL92