Formalizing Frankl's Conjecture: FC-Families.

Filip MaricMiodrag V. ZivkovicBojan Vuckovic
Published in: AISC/MKM/Calculemus (2012)