TY  - RPRT
TI  - Formalizing Frankl's Conjecture: FC-families
AU  - Filip Marić
AU  - Miodrag Živković
AU  - Bojan Vučković
PY  - 2012
UR  - https://arxiv.org/abs/1207.3604
ID  - 1207.3604
ER  -