1. T. Alsinet, L. Godo, A complete calculus for possibilistic logic programming with fuzzy propositional variables, in: Proc. UAI’2000 Conf., Stanford, CA, 2000, pp. 1–10.
2. T. Alsinet, L. Godo, A complete proof method for possibilistic logic programming with semantical unification of fuzzy constants, in: Proc. ESTYLF’2000 Conf., Sevilla, Spain, 2000, pp. 279–284. http://fermat.eup.udl.es/~tracy/report002.ps.
3. T. Alsinet, L. Godo, A proof procedure for possibilistic logic programming with fuzzy constants, in: Proc. ECSQARU’2001 Conf., Toulouse, France, Lecture Notes in Artificial Intelligence, Vol. 2143, Springer, Berlin, 2001, pp. 760–771.
4. T. Alsinet, L. Godo, S. Sandri, On the semantics and automated deduction for PLFC, a logic of possibilistic uncertainty and fuzziness, in: Proc. UAI’99 Conf., Stockholm, Sweden, 1999, pp. 3–12. Extended version as IIIA Tech. Report 99-09. Available at http://www.iiia.csic.es/Publications/Reports/1999.
5. T. Alsinet, L. Godo, S. Sandri, Two formalisms of extended possibilistic logic programming with context-dependent fuzzy unification: a comparative description, Electron. Notes Comput. Sci. 66(5) (2002) 21, URL: http://www.elsevier.nl/locate/entcs/volume66.html.