Tomás Bartusek, Mirko Navara. Program for generating fuzzy logical operations and its use in mathematical proofs. Kybernetika, 38(3):235-244, 2002. [doi]
@article{BartusekN02, title = {Program for generating fuzzy logical operations and its use in mathematical proofs}, author = {Tomás Bartusek and Mirko Navara}, year = {2002}, url = {http://www.kybernetika.cz/content/2002/3/235}, researchr = {https://researchr.org/publication/BartusekN02}, cites = {0}, citedby = {0}, journal = {Kybernetika}, volume = {38}, number = {3}, pages = {235-244}, }