1. Alsinet, T., Godo, L.: Towards an automated deduction system for first-order possibilistic logic programming with fuzzy constants. Int. J. Intell. Syst. 17(9), 887–924 (2002)
2. Alsinet, T., Godo, L., Sandri, S.: On the semantics and automated deduction fo PLFC, a logic of possibilistic uncertainty and fuzzyness. In: Proceedings of the 15th Annual Conference on Uncertainty in Artificial Intelligence (UAI-99). Morgan Kaufmann, San Francisco (1999)
3. Alsinet, T., Godo, L.: A complete calcultis for possibilistic logic programming with fuzzy propositional variables with fuzzy propositional variables. In: Proceedings of the 16th Conference in Uncertainty in Artificial Intelligence (UAI-00), pp. 1–10. Morgan Kaufmann, San Francisco (2000)
4. Baldwin, J.F.: Evidential support of logic programming. Fuzzy Sets Syst. 24(1), 1–26 (1987)
5. Baldwin, J.F.: A theory of mass assignments for artificial intelligence. Lect. Notes Comput. Sci. 833, 22–34 (1994)