1. A complete calculus for possibilistic logic programming with fuzzy propositional variables with fuzzy propositional variables;Alsinet,2000
2. Towards an automated deduction system for first-order possibilistic logic programming with fuzzy constants;Alsinet;Int. J. Intell. Syst.,2002
3. On the semantics and automated deduction for PLFC;Alsinet,1999
4. H.R. Andersen, Local Computation of Simultaneous Fixed-Points, Technical Report PB-420, DAIMI, 1992, see also 〈http://www.itu.dk/people/hra/thesis.pdf〉.
5. The Description Logic Handbook: Theory, Implementation, and Applications,2003