Towards an automated deduction system for first-order possibilistic logic programming with fuzzy constants | Publicación