TY  - RPRT
TI  - k variables are needed to define k-Clique in first-order logic
AU  - Yuguo He
PY  - 2015
UR  - https://arxiv.org/abs/1501.04572
ID  - 1501.04572
ER  -