TY  - RPRT
TI  - An Alternative Proof Method for Possibilistic Logic and its Application to Terminological Logics
AU  - Bernhard Hollunder
PY  - 2013
UR  - https://arxiv.org/abs/1302.6819
ID  - 1302.6819
ER  -