Fuzzy lattice operations on first-order terms over signatures with similar constructors: A constraint-based approach

Hassan Aït-Kaci, Gabriella Pasi. Fuzzy lattice operations on first-order terms over signatures with similar constructors: A constraint-based approach. Fuzzy Sets and Systems, 391:1-46, 2020. [doi]

Abstract

Abstract is missing.