A FUNCTIONAL TOOL FOR FUZZY FIRST ORDER LOGIC EVALUATION | Publicación