1. T. Alsinet and L. Godo. A complete calculus for possibilistic logic programming with fuzzy propositional variables. In Proc. of UAI-2000, 1–10, Stanford, CA, 2000.
2. T. Alsinet and L. Godo. A complete proof method for possibilistic logic programming with semantical unification of fuzzy constants. In Proc. of ESTYLF-2000, 279–284, Sevilla, Spain, 2000.
3. T. Alsinet and L. Godo. A proof procedure for possibilistic logic programming with fuzzy constants (extended version). Technical Report DIEI-01-RT-1, 2001. Available at http://fermat.eup.udl.es/~tracy/report011.ps .
4. T. Alsinet, L. Godo, and S. Sandri. On the semantics and automated deduction for PLFC, a logic of possibilistic uncertainty and fuzziness. In Proc. of UAI-99, 3–12, Stockholm, Sweden, 1999.
5. F. Arcelli, F. Formato, and G. Gerla. Fuzzy unification as a foundation of fuzzy logic programming. In Logic Programming and Soft Computing, (Arcelli and Martin eds.), 51–68. Research Studies Press, 1998.