@misc{indiciae48c2013924cb,
  title = {Term satisfiability in FL\$\_\textbackslash{}mathrm\{ew\}\$-algebras},
  author = {Zuzana Haniková and Petr Savický},
  year = {2016},
  doi = {10.1016/j.tcs.2016.03.009},
  url = {https://arxiv.org/abs/1501.02250},
  note = {Source identifier: 1501.02250}
}