1. T. Alsinet, L. Godo, A complete calculus for possibilistic logic programming with fuzzy propositional variables, in: Proc. of UAI2000 Conf., Stanfard, CA, 2000, pp. 1–10.
2. T. Alsinet, L. Godo, A complete proof method for possibilistic logic programming with semantical unication of fuzzy constants, in: Proc. of ESTYLF2000 Conf., Sevilla, Spain, 2000, pp. 279–284.
3. F. Arcelli, F. Formato, Likelog: a logic programming language for flexible data retrieval, in: ACM Symp. on Applied Computing, San antonio, TX, 1999, pp. 260–267.
4. FRIL-fuzzy and Evidential Reasoning in AI;Baldwin,1995
5. C.V. Damásio, L. Moniz Pereira, Monotonic and residuated logic programs, in: S. Benferhat, P. Besnard (Eds.), Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU’01, Lecture Notes in Artificial Intelligence, Vol. 2143, Springer, Heidelberg, 2001, pp. 748–759.