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]
@article{Ait-KaciP20, title = {Fuzzy lattice operations on first-order terms over signatures with similar constructors: A constraint-based approach}, author = {Hassan Aït-Kaci and Gabriella Pasi}, year = {2020}, doi = {10.1016/j.fss.2019.03.019}, url = {https://doi.org/10.1016/j.fss.2019.03.019}, researchr = {https://researchr.org/publication/Ait-KaciP20}, cites = {0}, citedby = {0}, journal = {Fuzzy Sets and Systems}, volume = {391}, pages = {1-46}, }