TY  - RPRT
TI  - Term satisfiability in FL$_\mathrm{ew}$-algebras
AU  - Zuzana Haniková
AU  - Petr Savický
PY  - 2016
DO  - 10.1016/j.tcs.2016.03.009
UR  - https://arxiv.org/abs/1501.02250
ID  - 1501.02250
ER  -