Purpose:
Příspěvek DAŇKOVÁ, M., BĚHOUNEK, L. Automated proofs for composition-based fuzzy relational notions. In Logic of Soft Computing 5 & 5th workshop of the ERCIM working group of Soft Computing . 13.9.-15.9. Malaga, Spani. Malaga : 2006. s. 96-102.