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]

@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},
}