https://123dok.net/document/wyeo77eq-symbolic-possibilistic-logic-completeness-and-inference-methods.html