Salem Benferhat Safa Yahi Habiba Drias On the Compilation of Stratified Belief Bases under Linear and Possibilistic Logic Policies. 2425-2430 2007 conf/ijcai/2007 IJCAI http://dli.iiit.ac.in/ijcai/IJCAI-2007/PDF/IJCAI07-390.pdf db/conf/ijcai/ijcai2007.html#BenferhatYD07