1. Baral, C., Kraus, S., Minker, J., Subrahmanian, V.: Combining knowledge bases consisting of first-order theories. Computational Intelligence 8(1), 45–71 (1992)
2. Benferhat, S., Baida, R.: A stratified first order logic approach for access control. Int. J. of Int. Sys. 19, 817–836 (2004)
3. Benferhat, S., Cayrol, C., Dubois, D., Lang, J., Prade, H.: Inconsistency management and prioritized syntax-based entailment. In: Proc. of IJCAI 1993, pp. 640–645 (1993)
4. Benferhat, S., Dubois, D., Prade, H.: Reasoning in inconsistent stratified knowledge bases. In: Proc. of ICMVL 1996, pp. 184–189 (1996)
5. Benferhat, S., Dubois, D., Lang, J., Prade, H., Saffiotti, A., Smets, Ph.: A General approach for inconsistency handling and merging information in prioritized knowledge bases. In: Proc. of KR 1998, pp. 466–477 (1998)