Bernhard Hollunder An Alternative Proof Method for Possibilistic Logic and its Application to Terminological Logics. 327-335 1994 conf/uai/1994 UAI http://uai.sis.pitt.edu/displayArticleDetails.jsp?mmnu=1&smnu=2&article_id=520&proceeding_id=10 db/conf/uai/uai1994.html#Hollunder94