1. O. Bailleux, P. Marquis. DISTANCE-SAT: complexity and algorithms. Proceedings of AAAI’99, pages 642–647, 1999.
2. S. Benferhat, D. Dubois, S. Kaci and H. Prade. Encoding information fusion in possibilistic logic: a general framework for rational syntactic merging. Proceedings of ECAI’2000, 3–7.
3. I Blochand J. Lang. Towards mathematical morphologics. Proceedings of IPMU’2000.
4. B. Benhamou, L. Sais and P. Siegel. Two proof procedures for a cardinality-based language in propositional calculus. Proceedings of STACS’94.
5. C. Cayrol. Un mod`ele logique pour le raisonnement révisable (in French). Revue d’Intelligence Artificielle 6, 255–284, Hermés, 1992.