Program for generating fuzzy logical operations and its use in mathematical proofs. - Tomás Bartusek; Mirko Navara (Kybernetika, 2002)