TY  - RPRT
TI  - A Note on Higher Order and Variable Order Logic over Finite Models
AU  - Arthur Milchior
PY  - 2014
UR  - https://arxiv.org/abs/1407.4032
ID  - 1407.4032
ER  -