HANIKOVÁ, Z., SAVICKÝ, P. Term Satisfiability in FLew-Algebras. Theoretical Computer Science. 2016, 631(6 June), 1-15. ISSN 0304-3975. E-ISSN 1879-2294. Dostupné z: https://doi.org/10.1016/j.tcs.2016.03.009